diff options
-rwxr-xr-x | tools/testing/ktest/ktest.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/testing/ktest/ktest.pl b/tools/testing/ktest/ktest.pl index 1bda07f6d67..d60c496fb51 100755 --- a/tools/testing/ktest/ktest.pl +++ b/tools/testing/ktest/ktest.pl | |||
@@ -1150,7 +1150,8 @@ sub wait_for_input | |||
1150 | 1150 | ||
1151 | sub reboot_to { | 1151 | sub reboot_to { |
1152 | if ($reboot_type eq "grub") { | 1152 | if ($reboot_type eq "grub") { |
1153 | run_ssh "'(echo \"savedefault --default=$grub_number --once\" | grub --batch && reboot)'"; | 1153 | run_ssh "'(echo \"savedefault --default=$grub_number --once\" | grub --batch)'"; |
1154 | reboot; | ||
1154 | return; | 1155 | return; |
1155 | } | 1156 | } |
1156 | 1157 | ||