projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Comments.
[pintos-anon]
/
grading
/
userprog
/
run-tests
diff --git
a/grading/userprog/run-tests
b/grading/userprog/run-tests
index 3019d30c5d4a7dcacbcc5698f443a7dbb715c956..9384ebad57cdb4a33ef9d393ae7fda424d4575cc 100755
(executable)
--- a/
grading/userprog/run-tests
+++ b/
grading/userprog/run-tests
@@
-38,9
+38,6
@@
parse_cmd_line qw (args-argc args-argv0 args-argvn args-single args-multiple
join-simple join-twice join-killed join-bad-pid
multi-recurse multi-oom multi-child-fd);
join-simple join-twice join-killed join-bad-pid
multi-recurse multi-oom multi-child-fd);
-# Default set of tests.
-@TESTS = unless @TESTS > 0;
-
clean_dir (), exit if $action eq 'clean';
extract_sources ();
clean_dir (), exit if $action eq 'clean';
extract_sources ();