X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fmkmf;h=7cfeae83828ab5cf4393213edbd2b1b77110f91a;hb=e5dead5761315aea788cad46aa466a8dc802d614;hp=a45ee56c098bd11dcc4166a91c379f69f32c7166;hpb=05f84d800faf4a6bbcccff81d96507f79b8b715f;p=pintos-anon

diff --git a/grading/userprog/mkmf b/grading/userprog/mkmf
index a45ee56..7cfeae8 100755
--- a/grading/userprog/mkmf
+++ b/grading/userprog/mkmf
@@ -46,3 +46,12 @@ while (<MAKEBASE>) {
 }
 close (MAKEBASE);
 
+open (CVSIGNORE, ">.cvsignore");
+print CVSIGNORE <<EOF;
+# Automatically generated by mkmf - do not modify!
+*.d
+*.dsk
+*.o
+EOF
+print CVSIGNORE join ("\n", @tests), "\n";
+close (CVSIGNORE);