X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Frun-tests;h=9384ebad57cdb4a33ef9d393ae7fda424d4575cc;hb=37554ba0d6fed50ee5c23bfcfb199c20739e8f28;hp=3019d30c5d4a7dcacbcc5698f443a7dbb715c956;hpb=8416a649a344d5225ae80c99338167f0f436999c;p=pintos-anon

diff --git a/grading/userprog/run-tests b/grading/userprog/run-tests
index 3019d30..9384eba 100755
--- 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);
 
-# Default set of tests.
-@TESTS =  unless @TESTS > 0;
-
 clean_dir (), exit if $action eq 'clean';
 
 extract_sources ();