projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Improve command-line interface to run-tests.
[pintos-anon]
/
grading
/
vm
/
run-tests
diff --git
a/grading/vm/run-tests
b/grading/vm/run-tests
index c04faea87af0753035e93351e8fc0dd6681de766..5aa8a44644ee1faa5093ce625907ab4125238ac9 100755
(executable)
--- a/
grading/vm/run-tests
+++ b/
grading/vm/run-tests
@@
-19,14
+19,13
@@
our (@TESTS); # Tests to run.
our ($test);
our ($action);
our ($test);
our ($action);
-parse_cmd_line ();
+parse_cmd_line qw (pt-grow-stack pt-big-stk-obj pt-bad-addr pt-write-code
+ page-linear page-parallel page-merge-seq page-merge-par
+ page-shuffle mmap-read mmap-close mmap-unmap mmap-overlap
+ mmap-twice mmap-write mmap-exit mmap-shuffle);
# Default set of tests.
# Default set of tests.
-@TESTS = qw (pt-grow-stack pt-big-stk-obj pt-bad-addr pt-write-code
- page-linear page-parallel page-merge-seq page-merge-par
- page-shuffle mmap-read mmap-close mmap-unmap mmap-overlap
- mmap-twice mmap-write mmap-exit mmap-shuffle
- ) unless @TESTS > 0;
+@TESTS = unless @TESTS > 0;
clean_dir (), exit if $action eq 'clean';
clean_dir (), exit if $action eq 'clean';