X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fhalt.ck;h=1b701ed9076f8192e3e4e0247b2817ea10341dfb;hb=a03618133f7df0954802a470a4bee7674f7aed45;hp=4b1207d6b595084948f972dc43d86291e6d6ef15;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/userprog/halt.ck b/src/tests/userprog/halt.ck
index 4b1207d..1b701ed 100644
--- a/src/tests/userprog/halt.ck
+++ b/src/tests/userprog/halt.ck
@@ -6,7 +6,7 @@ use tests::tests;
 our ($test);
 my (@output) = read_text_file ("$test.output");
 
-common_checks (@output);
+common_checks ("run", @output);
 
 fail "missing 'begin' message\n"
   if !grep ($_ eq '(halt) begin', @output);