X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Frun-tests;h=23fec9077e74e775ccbab7ec2fa01a1ecb586063;hb=7c38b05730fa5fe5a145dc65f9a4a82dc0357589;hp=5aa8a44644ee1faa5093ce625907ab4125238ac9;hpb=8416a649a344d5225ae80c99338167f0f436999c;p=pintos-anon

diff --git a/grading/vm/run-tests b/grading/vm/run-tests
index 5aa8a44..23fec90 100755
--- a/grading/vm/run-tests
+++ b/grading/vm/run-tests
@@ -24,9 +24,6 @@ parse_cmd_line qw (pt-grow-stack pt-big-stk-obj pt-bad-addr pt-write-code
 		   page-shuffle mmap-read mmap-close mmap-unmap mmap-overlap
 		   mmap-twice mmap-write mmap-exit mmap-shuffle);
 
-# Default set of tests.
-@TESTS =  unless @TESTS > 0;
-
 clean_dir (), exit if $action eq 'clean';
 
 extract_sources ();