---

yaml --- r: 252998 b: refs/heads/master c: 4da46da h: refs/heads/master v: v3
git-mirror · Jun 2, 2011 · e71b782 · e71b782
1 parent a693a28
commit e71b782
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 4c8cc55b3c0ebe989e727017933945b68b4327cd
+refs/heads/master: 4da46da2d295c0d9f4aaf28dd2b70a1ecb42d972
diff --git a/trunk/tools/testing/ktest/ktest.pl b/trunk/tools/testing/ktest/ktest.pl
@@ -788,7 +788,7 @@ sub wait_for_input
 
 sub reboot_to {
     if ($reboot_type eq "grub") {
-	run_ssh "'(echo \"savedefault --default=$grub_number --once\" | grub --batch; reboot)'";
+	run_ssh "'(echo \"savedefault --default=$grub_number --once\" | grub --batch && reboot)'";
 	return;
     }