From: Ben Pfaff 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=c19cc247f44976f2c71d6add898df496c60d7d6f;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);