X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fhalt.ck;h=1b701ed9076f8192e3e4e0247b2817ea10341dfb;hb=b51bfd75c7f55f008d67ec13d895694fbfa22430;hp=4b1207d6b595084948f972dc43d86291e6d6ef15;hpb=73389b59f54bfed8eb0cb370a5ffec1223686a9e;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);