X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Ffslib.h;h=0d4f12d28d4a9fa9fbedab9d7f128026f3ad1784;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hp=ea3862490a3d028c807cfc3fcb15aae8097c6d27;hpb=f7329f3d75dd5db7fd1bde03ed3c8a13b285eb7e;p=pintos-anon

diff --git a/grading/filesys/fslib.h b/grading/filesys/fslib.h
index ea38624..0d4f12d 100644
--- a/grading/filesys/fslib.h
+++ b/grading/filesys/fslib.h
@@ -48,7 +48,7 @@ void compare_bytes (const void *read_data, const void *expected_data,
                     size_t size, size_t ofs, const char *filename);
 
 void exec_children (const char *child_name, pid_t pids[], size_t child_cnt);
-void join_children (pid_t pids[], size_t child_cnt);
+void wait_children (pid_t pids[], size_t child_cnt);
 
 void test_main (void);