X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fmkmf;h=5afad632208249984ef0d96dacfa99ad4f4490ec;hb=18654de05aa2c2fa2cc63e2c9c30b9dc536a33d7;hp=1b73a84de0275a99312a253eb0435f27408bcbbf;hpb=ad3d6b23597a3ab6707e89355122a04499289965;p=pintos-anon

diff --git a/grading/userprog/mkmf b/grading/userprog/mkmf
index 1b73a84..5afad63 100755
--- a/grading/userprog/mkmf
+++ b/grading/userprog/mkmf
@@ -58,6 +58,7 @@ child-arg
 child-bad
 child-close
 child-simple
+null
 EOF
 print CVSIGNORE join ("\n", @tests), "\n";
 close (CVSIGNORE);