X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=grading%2Fuserprog%2F.cvsignore;h=72f178636dc110339c3840137d9b17bddc73e880;hp=b276a4960fe0f16188c6a0fd9b4980ce21d93332;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hpb=63bae7d91cfdc5d6f73b52702ecb6dcca515496c

diff --git a/grading/userprog/.cvsignore b/grading/userprog/.cvsignore
index b276a49..72f1786 100644
--- a/grading/userprog/.cvsignore
+++ b/grading/userprog/.cvsignore
@@ -56,10 +56,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