Skip to content

Commit b01ff65

Browse files
committed
Test.pl: exit if a test is interrupted
In the specific case where a test died to SIGINT, we probably ought to stop. Contrast SIGTERM, SIGKILL and so on, where we will carry on. This also makes ctest exit cleanly when SIGINT'd
1 parent 478dc8a commit b01ff65

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

regression/test.pl

+5
Original file line numberDiff line numberDiff line change
@@ -45,6 +45,11 @@ ($$$$$)
4545
system "echo EXIT=$exit_value >>'$name/$output'";
4646
system "echo SIGNAL=$signal_num >>'$name/$output'";
4747

48+
if($signal_num == 2) {
49+
print "\nProgram under test interrupted; stopping\n";
50+
exit 1;
51+
}
52+
4853
return $failed;
4954
}
5055

0 commit comments

Comments
 (0)