projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Ignore test directories.
[pintos-anon]
/
grading
/
userprog
/
mkmf
diff --git
a/grading/userprog/mkmf
b/grading/userprog/mkmf
index 7cfeae83828ab5cf4393213edbd2b1b77110f91a..5afad632208249984ef0d96dacfa99ad4f4490ec 100755
(executable)
--- a/
grading/userprog/mkmf
+++ b/
grading/userprog/mkmf
@@
-52,6
+52,13
@@
print CVSIGNORE <<EOF;
*.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);