X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=grading%2Fvm%2Fpage-parallel.c;h=034a16234d646a28e8db02a4dd896dd25f42b784;hp=f1c3ce098627b7f1dfadff62d85d46b3cc84e137;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hpb=63bae7d91cfdc5d6f73b52702ecb6dcca515496c diff --git a/grading/vm/page-parallel.c b/grading/vm/page-parallel.c index f1c3ce0..034a162 100644 --- a/grading/vm/page-parallel.c +++ b/grading/vm/page-parallel.c @@ -28,8 +28,8 @@ main (void) for (i = 0; i < CHILD_CNT; i++) { int code; - printf ("(page-parallel) join child %d\n", i); - code = join (children[i]); + printf ("(page-parallel) wait for child %d\n", i); + code = wait (children[i]); if (code != 0x42) printf ("(page-parallel) child %d returned bad exit code\n", i); }