From: Godmar Back <godmar@gmail.com>
Date: Fri, 10 Nov 2006 04:34:20 +0000 (+0000)
Subject: - when ignoring exit codes, ignore exit(-1) also (previously didn't allow '-')
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=36beb03eba5009ca7054a9b32b966bf211e839b8

- when ignoring exit codes, ignore exit(-1) also (previously didn't allow '-')
---

diff --git a/src/tests/tests.pm b/src/tests/tests.pm
index 5e34e86..822e7c9 100644
--- a/src/tests/tests.pm
+++ b/src/tests/tests.pm
@@ -154,7 +154,7 @@ sub compare_output {
     my $ignore_exit_codes = exists $options{IGNORE_EXIT_CODES};
     if ($ignore_exit_codes) {
 	delete $options{IGNORE_EXIT_CODES};
-	@output = grep (!/^[a-zA-Z0-9-_]+: exit\(\d+\)$/, @output);
+	@output = grep (!/^[a-zA-Z0-9-_]+: exit\(\-?\d+\)$/, @output);
     }
     my $ignore_user_faults = exists $options{IGNORE_USER_FAULTS};
     if ($ignore_user_faults) {