X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fexec-once.c;h=87bf2be9dba754c1cac448a8f15ef2fb798e8a00;hb=5780c9f434cca090f88463b7f0199d49b4ded288;hp=ab1de215bb17f5ab8165e15026a962e7b3bd2909;hpb=5f5e3ca7e9d053549bd4c6f55672ae867857ec54;p=pintos-anon

diff --git a/grading/userprog/exec-once.c b/grading/userprog/exec-once.c
index ab1de21..87bf2be 100644
--- a/grading/userprog/exec-once.c
+++ b/grading/userprog/exec-once.c
@@ -5,7 +5,7 @@ int
 main (void) 
 {
   printf ("(exec-once) begin\n");
-  join (exec ("child-simple"));
+  wait (exec ("child-simple"));
   printf ("(exec-once) end\n");
   return 0;
 }