X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fwait-simple.ck;h=93dd577667e053f61d10e6d48d0b8437da863256;hb=b51bfd75c7f55f008d67ec13d895694fbfa22430;hp=8e53e8c211cb41d3cf0dc96e72109595cd94361d;hpb=73389b59f54bfed8eb0cb370a5ffec1223686a9e;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;