X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fwait-simple.ck;h=93dd577667e053f61d10e6d48d0b8437da863256;hb=84be0fa6a2efde38ca3e8e97ec17b53f0a16b399;hp=8e53e8c211cb41d3cf0dc96e72109595cd94361d;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;p=pintos-anon

diff --git a/src/tests/userprog/wait-simple.ck b/src/tests/userprog/wait-simple.ck
index 8e53e8c..93dd577 100644
--- a/src/tests/userprog/wait-simple.ck
+++ b/src/tests/userprog/wait-simple.ck
@@ -10,3 +10,4 @@ child-simple: exit(81)
 (wait-simple) end
 wait-simple: exit(0)
 EOF
+pass;