X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Frun-tests;h=9384ebad57cdb4a33ef9d393ae7fda424d4575cc;hb=1c2b347fd2b3b1d9f78cc2a40160dfb2a23a9bd9;hp=afb9317ee357b30a389e4742753334fe8009fe85;hpb=4a78889ac2a99d515119aa599d640fc81e9ba833;p=pintos-anon

diff --git a/grading/userprog/run-tests b/grading/userprog/run-tests
index afb9317..9384eba 100755
--- a/grading/userprog/run-tests
+++ b/grading/userprog/run-tests
@@ -20,26 +20,23 @@ our ($test);
 our (%extra);
 our ($action);
 
-parse_cmd_line ();
-
-# Default set of tests.
-@TESTS = qw (args-argc args-argv0 args-argvn args-single args-multiple
-	     args-dbl-space
-	     sc-bad-sp sc-bad-arg sc-boundary
-	     halt exit
-	     create-normal create-empty create-null create-bad-ptr 
-	     create-long create-exists create-bound
-	     open-normal open-missing open-boundary open-empty open-null
-	     open-bad-ptr open-twice
-	     close-normal close-twice close-stdin close-stdout close-bad-fd
-	     read-normal read-bad-ptr read-boundary read-zero read-stdout
-	     read-bad-fd
-	     write-normal write-bad-ptr write-boundary write-zero write-stdin
-	     write-bad-fd
-	     exec-once exec-arg exec-multiple exec-missing exec-bad-ptr
-	     join-simple join-twice join-killed join-bad-pid
-	     multi-recurse multi-oom multi-child-fd
-	     ) unless @TESTS > 0;
+parse_cmd_line qw (args-argc args-argv0 args-argvn args-single args-multiple
+		   args-dbl-space
+		   sc-bad-sp sc-bad-arg sc-boundary
+		   halt exit
+		   create-normal create-empty create-null create-bad-ptr 
+		   create-long create-exists create-bound
+		   open-normal open-missing open-boundary open-empty open-null
+		   open-bad-ptr open-twice
+		   close-normal close-twice close-stdin close-stdout
+		   close-bad-fd
+		   read-normal read-bad-ptr read-boundary read-zero read-stdout
+		   read-bad-fd
+		   write-normal write-bad-ptr write-boundary write-zero
+		   write-stdin write-bad-fd
+		   exec-once exec-arg exec-multiple exec-missing exec-bad-ptr
+		   join-simple join-twice join-killed join-bad-pid
+		   multi-recurse multi-oom multi-child-fd);
 
 clean_dir (), exit if $action eq 'clean';