X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Flib%2FPintos%2FGrading.pm;h=28c438dd470dcd513b941f3d02c00f3efe41c10a;hb=979829bf6f563cbaf9aaf83a6332a2bc79f2f581;hp=463d475eada79a590a1241847c24778a754c1698;hpb=d5859f34033fee47c7ae626ea2d3c0b5d83cfe3b;p=pintos-anon

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);