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

diff --git a/grading/userprog/run-tests b/grading/userprog/run-tests
index b09bc5e..e81b533 100755
--- a/grading/userprog/run-tests
+++ b/grading/userprog/run-tests
@@ -43,7 +43,7 @@ parse_cmd_line qw (args-argc args-argv0 args-argvn args-single args-multiple
 		   write-normal write-bad-ptr write-boundary write-zero
 		   write-stdin write-bad-fd
 		   exec-once 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);
 
 clean_dir (), exit if $action eq 'clean';