diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-08 11:37:08 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-08 11:37:08 +0100 |
| commit | a870216addc664e94f5463f9f43db97c3643ce10 (patch) | |
| tree | f0f32b7a8fb3a45a2d6f0c86740d1a76428cca09 | |
| parent | 6995ef575e73937ae5ca393771643961e69eed82 (diff) | |
| download | check-kernel-a870216addc664e94f5463f9f43db97c3643ce10.tar.xz | |
check-kernel.in: fix another bug
| -rw-r--r-- | check-kernel.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/check-kernel.in b/check-kernel.in index 68e606d..b3088d7 100644 --- a/check-kernel.in +++ b/check-kernel.in @@ -25,7 +25,6 @@ reboot=false while true; do case "$1" in -r|--reboot) - shift reboot=true ;; --help) |