From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 17 Mar 2005 18:52:52 +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?a=commitdiff_plain;h=a7fefbb3d10e9bcc3a9baf9d0f3b6e8b0eac83d4;p=pintos-anon

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 6a21d52..240b16e 100644
--- a/grading/lib/Pintos/Grading.pm
+++ b/grading/lib/Pintos/Grading.pm
@@ -427,7 +427,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);