From: Ben Pfaff Date: Tue, 19 Oct 2004 22:49:25 +0000 (+0000) Subject: Improve. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9ee9544fc0000836fc8db0dd7e5c55d11bedd425;p=pintos-anon Improve. --- diff --git a/grading/threads/run-tests b/grading/threads/run-tests index 7fcc91c..a4afa14 100755 --- a/grading/threads/run-tests +++ b/grading/threads/run-tests @@ -40,8 +40,7 @@ sub usage { "join-dummy", "join-invalid", "join-no", "priority-preempt", "priority-fifo", "priority-donate-one", "priority-donate-multiple", "priority-donate-nest", - #"mlfqs-on", "mlfqs-off" - ) + "mlfqs-on", "mlfqs-off") unless @TESTS > 0; # Find the directory that contains the grading files.