X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fmulti-recurse.ck;h=41eb4a6e5a325e7b3da7a93b232399b9cca75ec3;hb=b51bfd75c7f55f008d67ec13d895694fbfa22430;hp=d2a4e1b206e7f11db9495cf6cb3791ae217eb245;hpb=73389b59f54bfed8eb0cb370a5ffec1223686a9e;p=pintos-anon

diff --git a/src/tests/userprog/multi-recurse.ck b/src/tests/userprog/multi-recurse.ck
index d2a4e1b..41eb4a6 100644
--- a/src/tests/userprog/multi-recurse.ck
+++ b/src/tests/userprog/multi-recurse.ck
@@ -67,3 +67,4 @@ multi-recurse: exit(14)
 (multi-recurse) end 15
 multi-recurse: exit(15)
 EOF
+pass;