diff options
Diffstat (limited to 'bootstraptest/runner.rb')
-rwxr-xr-x | bootstraptest/runner.rb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bootstraptest/runner.rb b/bootstraptest/runner.rb index df58ca58f3..eaed292e50 100755 --- a/bootstraptest/runner.rb +++ b/bootstraptest/runner.rb @@ -169,6 +169,8 @@ def show_progress(message = '') $stderr.puts if @verbose error faildesc, message end +rescue Interrupt + raise Interrupt rescue Exception => err $stderr.print 'E' $stderr.puts if @verbose @@ -342,6 +344,7 @@ def get_result_string(src, opt = '') begin `#{@ruby} -W0 #{opt} #{filename}` ensure + raise Interrupt if $?.signaled? && $?.termsig == Signal.list["INT"] raise CoreDumpError, "core dumped" if $? and $?.coredump? end else |