X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fjoin-bad-pid.exp;h=2f7f5eeee86b811b3bb32e72ba4f2c0839541c99;hb=63bae7d91cfdc5d6f73b52702ecb6dcca515496c;hp=044648235a86057ebb674da9110cbf2a4436e3e9;hpb=5f5e3ca7e9d053549bd4c6f55672ae867857ec54;p=pintos-anon

diff --git a/grading/userprog/join-bad-pid.exp b/grading/userprog/join-bad-pid.exp
index 0446482..2f7f5ee 100644
--- a/grading/userprog/join-bad-pid.exp
+++ b/grading/userprog/join-bad-pid.exp
@@ -1,4 +1,6 @@
-(join-simple) begin
-(join-simple) join(exec()) = 81
-(join-simple) end
-join-simple: exit(0)
+(join-bad-pid) begin
+(join-bad-pid) end
+join-bad-pid: exit(0)
+--OR--
+(join-bad-pid) begin
+join-bad-pid: exit(-1)