X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fmkmf;h=1b73a84de0275a99312a253eb0435f27408bcbbf;hb=59f80c83ea4d8d70c781dff37e4542f0707a5ee1;hp=7cfeae83828ab5cf4393213edbd2b1b77110f91a;hpb=63fd3cb2150e5c3a8055afec09f81294b902b3d7;p=pintos-anon

diff --git a/grading/userprog/mkmf b/grading/userprog/mkmf
index 7cfeae8..1b73a84 100755
--- a/grading/userprog/mkmf
+++ b/grading/userprog/mkmf
@@ -52,6 +52,12 @@ print CVSIGNORE <<EOF;
 *.d
 *.dsk
 *.o
+bochsrc.txt
+bochsout.txt
+child-arg
+child-bad
+child-close
+child-simple
 EOF
 print CVSIGNORE join ("\n", @tests), "\n";
 close (CVSIGNORE);