From: Ben Pfaff Date: Tue, 25 Jan 2005 20:51:43 +0000 (+0000) Subject: Fix typo. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=488f5bbd1f2728eb617da02cc02a765be3020630;p=pintos-anon Fix typo. --- diff --git a/grading/lib/Pintos/Grading.pm b/grading/lib/Pintos/Grading.pm index f29dc05..463d475 100644 --- a/grading/lib/Pintos/Grading.pm +++ b/grading/lib/Pintos/Grading.pm @@ -423,9 +423,9 @@ sub grade_test { # Read test output. my ($outfile) = "output/$test/run.out"; if (! -e $outfile) { - if (-s "output/$test.make.err") { + if (-s "output/$test/make.err") { # make failed. - $details{$test} = snarf ("output/$test.make.err"); + $details{$test} = snarf ("output/$test/make.err"); return "make failed. Error messages at end of file."; } die "$outfile: missing test output file";