X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fexec-once.c;h=87bf2be9dba754c1cac448a8f15ef2fb798e8a00;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hp=ab1de215bb17f5ab8165e15026a962e7b3bd2909;hpb=63bae7d91cfdc5d6f73b52702ecb6dcca515496c;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;
 }