From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 17 Mar 2005 18:51:58 +0000 (+0000)
Subject: When run.out is missing in &grade_test, just return an error that
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=979829bf6f563cbaf9aaf83a6332a2bc79f2f581

When run.out is missing in &grade_test, just return an error that
preparation failed, instead of dying.  This can happen legitimately
when a `pintos put' fails.
---

diff --git a/grading/lib/Pintos/Grading.pm b/grading/lib/Pintos/Grading.pm
index 463d475..28c438d 100644
--- a/grading/lib/Pintos/Grading.pm
+++ b/grading/lib/Pintos/Grading.pm
@@ -428,7 +428,7 @@ sub grade_test {
 	    $details{$test} = snarf ("output/$test/make.err");
 	    return "make failed.  Error messages at end of file.";
 	}
-	die "$outfile: missing test output file";
+	return "preparation for test failed";
     }
     my (@output) = snarf ($outfile);