X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Ftests%2Fuserprog%2Fmulti-recurse.ck;h=41eb4a6e5a325e7b3da7a93b232399b9cca75ec3;hb=f294e7e618e110f8203ea7cf800acb2e1334774b;hp=d2a4e1b206e7f11db9495cf6cb3791ae217eb245;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;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;