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

diff --git a/grading/userprog/.cvsignore b/grading/userprog/.cvsignore
index 602fcbd..72f1786 100644
--- a/grading/userprog/.cvsignore
+++ b/grading/userprog/.cvsignore
@@ -2,6 +2,13 @@
 *.d
 *.dsk
 *.o
+bochsrc.txt
+bochsout.txt
+child-arg
+child-bad
+child-close
+child-simple
+null
 args-argc
 args-argv0
 args-argvn
@@ -49,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