From 35692cf4733c0761f25dc17153eeaf8a64c1e0ee Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Fri, 18 Mar 2005 17:46:59 +0000 Subject: [PATCH] (strip_exit_codes) Include _ in the list of characters considered as part of a program name. --- grading/lib/Pintos/Grading.pm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 { -- 2.30.2