X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Frun-tests;h=5aa8a44644ee1faa5093ce625907ab4125238ac9;hb=b7b1e6416ee6a167eeaad42553cbdd6e8f89e444;hp=c04faea87af0753035e93351e8fc0dd6681de766;hpb=4a78889ac2a99d515119aa599d640fc81e9ba833;p=pintos-anon diff --git a/grading/vm/run-tests b/grading/vm/run-tests index c04faea..5aa8a44 100755 --- a/grading/vm/run-tests +++ b/grading/vm/run-tests @@ -19,14 +19,13 @@ our (@TESTS); # Tests to run. 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. -@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';