From: Ben Pfaff Date: Sat, 1 Jan 2005 02:22:27 +0000 (+0000) Subject: Improve error message for grading when the make failed. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b64916ce237a86fc03daa2155637492f0ab97870;p=pintos-anon Improve error message for grading when the make failed. Still not ideal. --- diff --git a/grading/lib/Pintos/Grading.pm b/grading/lib/Pintos/Grading.pm index d48b275..36599a0 100644 --- a/grading/lib/Pintos/Grading.pm +++ b/grading/lib/Pintos/Grading.pm @@ -408,7 +408,9 @@ sub run_pintos { # Grade the test. sub grade_test { # Read test output. - my (@output) = snarf ("output/$test/run.out"); + my ($outfile) = "output/$test/run.out"; + die "$outfile: missing test output file (make failed?)" if ! -e $outfile; + my (@output) = snarf ($outfile); # If there's a function "grade_$test", use it to evaluate the output. # If there's a file "$GRADES_DIR/$test.exp", compare its contents