From: Godmar Back 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?a=commitdiff_plain;h=36beb03eba5009ca7054a9b32b966bf211e839b8;p=pintos-anon - 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) {