From: Ben Pfaff <blp@cs.stanford.edu>
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?p=pintos-anon;a=commitdiff_plain;h=refs%2Fheads%2Fwin0405

(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 {