X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=grading%2Fuserprog%2FMake.tests;h=a1f1ec589543aaa85b677bcf23ea6f5d7096f362;hp=8df4071a9573de625840d4ee90a63f0376d8bb09;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hpb=63bae7d91cfdc5d6f73b52702ecb6dcca515496c

diff --git a/grading/userprog/Make.tests b/grading/userprog/Make.tests
index 8df4071..a1f1ec5 100644
--- a/grading/userprog/Make.tests
+++ b/grading/userprog/Make.tests
@@ -45,10 +45,10 @@ exec-arg
 exec-multiple
 exec-missing
 exec-bad-ptr
-join-simple
-join-twice
-join-killed
-join-bad-pid
+wait-simple
+wait-twice
+wait-killed
+wait-bad-pid
 multi-recurse
 multi-oom
 multi-child-fd