From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 19 Oct 2004 22:41:04 +0000 (+0000)
Subject: Improve.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0fe3d17d174d805fd000004ba6808e5ea95334e0;p=pintos-anon

Improve.
---

diff --git a/grading/threads/run-tests b/grading/threads/run-tests
index 1783ca9..028f4a5 100755
--- a/grading/threads/run-tests
+++ b/grading/threads/run-tests
@@ -156,7 +156,7 @@ sub run_test {
     }
 
     # Really run the test.
-    $status = really_run_test ($test);
+    my ($status) = really_run_test ($test);
 
     # Save the results for later.
     open (DONE, ">output/$test/done") or die "output/$test/done: create: $!\n";