Merge pull request #1445 from smowton/smowton/feature/test-pl-interrupt

Test.pl: exit if a test is interrupted

Author: smowton

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;
 }