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 6a21d5231edf2851ea6370148c9b84e0331722b9..240b16ebb5ff0fe73697e885d372e146e49a4a12 100644 (file)
--- 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);