X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Ftests.pm;h=822e7c9b807c6050f0c48c3dce77d2c03f468f64;hp=5e34e866a8a30a5fff9dad2bb2e3b3ba0e05d873;hb=36beb03eba5009ca7054a9b32b966bf211e839b8;hpb=db7d1db11685c1dc0d97c41049d26b876211551b

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