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 28c438dd470dcd513b941f3d02c00f3efe41c10a..90d9ba311ce548636748097f9a7f7a32c7d5b1ee 100644
(file)
--- a/
grading/lib/Pintos/Grading.pm
+++ b/
grading/lib/Pintos/Grading.pm
@@
-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 {