X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fexec-missing.ck;h=0ef7aaa76d4728a67ac571058ad33daad3466ac2;hb=b51bfd75c7f55f008d67ec13d895694fbfa22430;hp=726a4e7a8b1a15a30e37dc77bbfff983b346e8a6;hpb=73389b59f54bfed8eb0cb370a5ffec1223686a9e;p=pintos-anon

diff --git a/src/tests/userprog/exec-missing.ck b/src/tests/userprog/exec-missing.ck
index 726a4e7..0ef7aaa 100644
--- a/src/tests/userprog/exec-missing.ck
+++ b/src/tests/userprog/exec-missing.ck
@@ -28,3 +28,4 @@ no-such-file: exit(-1)
 (exec-missing) end
 exec-missing: exit(0)
 EOF
+pass;