(strip_exit_codes) Include _ in the list of characters considered as

[pintos-anon] / grading / lib / Pintos / Grading.pm

diff --git a/grading/lib/Pintos/Grading.pm b/grading/lib/Pintos/Grading.pm
index 463d475eada79a590a1241847c24778a754c1698..90d9ba311ce548636748097f9a7f7a32c7d5b1ee 100644 (file)
--- a/grading/lib/Pintos/Grading.pm
+++ b/grading/lib/Pintos/Grading.pm
@@ -428,7 +428,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);
 
@@ -698,7 +698,7 @@ sub canonicalize_exit_codes {
 }
 
 sub strip_exit_codes {
-    return grep (!/^[-a-z0-9]+: exit\(-?\d+\)/, canonicalize_exit_codes (@_));
+    return grep (!/^[-_a-z0-9]+: exit\(-?\d+\)/, canonicalize_exit_codes (@_));
 }
 
 sub compare_output {