projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Always try to create output directory, even if pintos directory exists.
[pintos-anon]
/
grading
/
userprog
/
mkmf
diff --git
a/grading/userprog/mkmf
b/grading/userprog/mkmf
index 7cfeae83828ab5cf4393213edbd2b1b77110f91a..1b73a84de0275a99312a253eb0435f27408bcbbf 100755
(executable)
--- 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);