X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fmulti-oom.c;h=cfdda6692beb1b80aefc57ff533309372a649db1;hb=5780c9f434cca090f88463b7f0199d49b4ded288;hp=2ad63e90e3060555bee3b939b61e4dcc8e33f2ea;hpb=8bd4762ad3e2cf647226c48d8b8a8762d1efde31;p=pintos-anon diff --git a/grading/userprog/multi-oom.c b/grading/userprog/multi-oom.c index 2ad63e9..cfdda66 100644 --- a/grading/userprog/multi-oom.c +++ b/grading/userprog/multi-oom.c @@ -20,9 +20,9 @@ main (int argc UNUSED, char *argv[]) child_pid = exec (child_cmd); if (child_pid != -1) { - int code = join (child_pid); + int code = wait (child_pid); if (code != n + 1) - printf ("(multi-oom) fail: join(exec(\"%s\")) returned %d\n", + printf ("(multi-oom) fail: wait(exec(\"%s\")) returned %d\n", child_cmd, code); } else if (n < 15)