From: Ben Pfaff Date: Fri, 18 Mar 2005 17:46:59 +0000 (+0000) Subject: (strip_exit_codes) Include _ in the list of characters considered as X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=35692cf4733c0761f25dc17153eeaf8a64c1e0ee;p=pintos-anon (strip_exit_codes) Include _ in the list of characters considered as part of a program name. --- diff --git a/grading/lib/Pintos/Grading.pm b/grading/lib/Pintos/Grading.pm index 28c438d..90d9ba3 100644 --- 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 {