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

Improve.
---

diff --git a/grading/threads/run-tests b/grading/threads/run-tests
index 028f4a5..ad9cb8b 100755
--- a/grading/threads/run-tests
+++ b/grading/threads/run-tests
@@ -171,7 +171,8 @@ sub really_run_test {
     # If there's residue from an earlier test, move it to .old.
     # If there's already a .old, delete it.
     xsystem ("rm -rf output/$test.old", VERBOSE => 1) if -d "output/$test.old";
-    rename "output/$test", "output/$test.old" or die "rename: $!\n";
+    rename "output/$test", "output/$test.old" or die "rename: $!\n"
+	if -d "output/$test";
 
     # Make output directory.
     mkdir "output/$test";