Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / userprog / mkmf

diff --git a/grading/userprog/mkmf b/grading/userprog/mkmf
index a45ee56c098bd11dcc4166a91c379f69f32c7166..5afad632208249984ef0d96dacfa99ad4f4490ec 100755 (executable)
--- a/grading/userprog/mkmf
+++ b/grading/userprog/mkmf
@@ -46,3 +46,19 @@ while (<MAKEBASE>) {
 }
 close (MAKEBASE);
 
+open (CVSIGNORE, ">.cvsignore");
+print CVSIGNORE <<EOF;
+# Automatically generated by mkmf - do not modify!
+*.d
+*.dsk
+*.o
+bochsrc.txt
+bochsout.txt
+child-arg
+child-bad
+child-close
+child-simple
+null
+EOF
+print CVSIGNORE join ("\n", @tests), "\n";
+close (CVSIGNORE);