Fix typo.

diff --git a/grading/lib/Pintos/Grading.pm b/grading/lib/Pintos/Grading.pm
index f29dc05f7c9ae494682c0ea49eb0f99ea2a5d22d..463d475eada79a590a1241847c24778a754c1698 100644 (file)
--- 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";