From a870216addc664e94f5463f9f43db97c3643ce10 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 8 Jan 2018 11:37:08 +0100
Subject: check-kernel.in: fix another bug

---
 check-kernel.in | 1 -
 1 file changed, 1 deletion(-)

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)
-- 
cgit v1.2.3-54-g00ecf