X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fjoin-twice.exp;h=ffb57ea68e4054dc37bd40dc5bc63f3b3760bb23;hb=c893972febefec473748d49cb65e9719b3cf5d80;hp=71f62234e48d5b247d80b9dc16cb37c172bf54e0;hpb=2e2f580dd9eb1a8fa094e35f4b967e2547774d9c;p=pintos-anon diff --git a/grading/userprog/join-twice.exp b/grading/userprog/join-twice.exp index 71f6223..ffb57ea 100644 --- a/grading/userprog/join-twice.exp +++ b/grading/userprog/join-twice.exp @@ -1,6 +1,6 @@ (join-twice) begin -(child-twice) run -child-twice: exit(81) +(child-simple) run +child-simple: exit(81) (join-twice) join(exec()) = 81 (join-twice) end join-twice: exit(0)