From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 1 Dec 2004 22:21:56 +0000 (+0000)
Subject: Remove fs.dsk, swap.dsk after grading.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4da58067a819bb35897791b4361ceba85ba7ffb2;p=pintos-anon

Remove fs.dsk, swap.dsk after grading.
---

diff --git a/grading/vm/run-tests b/grading/vm/run-tests
index f74bd99..85d639d 100755
--- a/grading/vm/run-tests
+++ b/grading/vm/run-tests
@@ -263,17 +263,17 @@ sub really_run_test {
     # Run.
     my ($timeout) = 600;
     my ($testargs) = defined ($args{$test}) ? " $args{$test}" : "";
-    xsystem ("pintos "
-	     . "--os-disk=pintos/src/vm/build/os.dsk "
-	     . "--fs-disk=output/$test/fs.dsk "
-	     . "--swap-disk=output/$test/swap.dsk "
-	     . "-v run -q -ex \"$test$testargs\"",
-	     LOG => "$test/run",
-	     TIMEOUT => $timeout,
-	     EXPECT => 1)
-	or return "Bochs error";
-    
-    return "ok";
+    my ($result) = xsystem ("pintos "
+			    . "--os-disk=pintos/src/vm/build/os.dsk "
+			    . "--fs-disk=output/$test/fs.dsk "
+			    . "--swap-disk=output/$test/swap.dsk "
+			    . "-v run -q -ex \"$test$testargs\"",
+			    LOG => "$test/run",
+			    TIMEOUT => $timeout,
+			    EXPECT => 1)
+	? "ok" : "Bochs error";
+    remove ("output/$test/fs.dsk", "output/$test/swap.dsk");
+    return $result;
 }
 
 sub grade_test {