X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fjoin-twice.c;h=2a80ad78f11d349b27b233c2756eebbd34d07a30;hb=e5dead5761315aea788cad46aa466a8dc802d614;hp=10ccb22050420b4a7121925166dbe66586011bc9;hpb=05f84d800faf4a6bbcccff81d96507f79b8b715f;p=pintos-anon

diff --git a/grading/userprog/join-twice.c b/grading/userprog/join-twice.c
index 10ccb22..2a80ad7 100644
--- a/grading/userprog/join-twice.c
+++ b/grading/userprog/join-twice.c
@@ -6,7 +6,7 @@ main (void)
 {
   pid_t child;
   printf ("(join-twice) begin\n");
-  child = exec ("child-twice");
+  child = exec ("child-simple");
   printf ("(join-twice) join(exec()) = %d\n", join (child));
   join (child);
   printf ("(join-twice) end\n");