projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Start work on partition support.
[pintos-anon]
/
grading
/
userprog
/
mkmf
diff --git
a/grading/userprog/mkmf
b/grading/userprog/mkmf
index 1b73a84de0275a99312a253eb0435f27408bcbbf..5afad632208249984ef0d96dacfa99ad4f4490ec 100755
(executable)
--- 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);