X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fwait-twice.ck;h=6d5384319a2c91078a397aa83fd8d1f0d75dcc9c;hb=a03618133f7df0954802a470a4bee7674f7aed45;hp=e013123a13d6bf53893628a519c48aa56dc435cd;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/userprog/wait-twice.ck b/src/tests/userprog/wait-twice.ck
index e013123..6d53843 100644
--- a/src/tests/userprog/wait-twice.ck
+++ b/src/tests/userprog/wait-twice.ck
@@ -11,3 +11,4 @@ child-simple: exit(81)
 (wait-twice) end
 wait-twice: exit(0)
 EOF
+pass;