From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 25 Jan 2005 20:51:43 +0000 (+0000)
Subject: Fix typo.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=9fd03907adce1d0e3e31a8ce6be3e1547434ce40

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