projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
(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.";
}
$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);
}
my (@output) = snarf ($outfile);
@@
-698,7
+698,7
@@
sub canonicalize_exit_codes {
}
sub strip_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 {
}
sub compare_output {