X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fmulti-child-fd.ck;h=d0b3a33922258bb1c310294db3eba63d2bcedf9a;hb=b51bfd75c7f55f008d67ec13d895694fbfa22430;hp=bad037834385f66b2ccbaae2031ce1fa610a9477;hpb=73389b59f54bfed8eb0cb370a5ffec1223686a9e;p=pintos-anon diff --git a/src/tests/userprog/multi-child-fd.ck b/src/tests/userprog/multi-child-fd.ck index bad0378..d0b3a33 100644 --- a/src/tests/userprog/multi-child-fd.ck +++ b/src/tests/userprog/multi-child-fd.ck @@ -22,3 +22,4 @@ child-close: exit(-1) (multi-child-fd) end multi-child-fd: exit(0) EOF +pass;