X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2F.cvsignore;h=422f695fc1e3d3cd75930d622d5f1167474e1192;hb=59f80c83ea4d8d70c781dff37e4542f0707a5ee1;hp=602fcbdd0b8e687dfd290cca2221426a035b6f5d;hpb=63fd3cb2150e5c3a8055afec09f81294b902b3d7;p=pintos-anon

diff --git a/grading/userprog/.cvsignore b/grading/userprog/.cvsignore
index 602fcbd..422f695 100644
--- a/grading/userprog/.cvsignore
+++ b/grading/userprog/.cvsignore
@@ -2,6 +2,12 @@
 *.d
 *.dsk
 *.o
+bochsrc.txt
+bochsout.txt
+child-arg
+child-bad
+child-close
+child-simple
 args-argc
 args-argv0
 args-argvn