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 463d475eada79a590a1241847c24778a754c1698..28c438dd470dcd513b941f3d02c00f3efe41c10a 100644 (file)
--- 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);