diff --git a/regression/test.pl b/regression/test.pl index c9a90edc333..608653d9b1a 100755 --- a/regression/test.pl +++ b/regression/test.pl @@ -45,6 +45,11 @@ ($$$$$) system "echo EXIT=$exit_value >>'$name/$output'"; system "echo SIGNAL=$signal_num >>'$name/$output'"; + if($signal_num == 2) { + print "\nProgram under test interrupted; stopping\n"; + exit 1; + } + return $failed; }