| Index: tools/run-tests.py
|
| diff --git a/tools/run-tests.py b/tools/run-tests.py
|
| index 28926e56aa886d3c5fcd4e86deb98cf01caed4f1..15c42d0379fa8f750c6044abde92bf91eb4d547d 100755
|
| --- a/tools/run-tests.py
|
| +++ b/tools/run-tests.py
|
| @@ -329,7 +329,10 @@ def Main():
|
| s.DownloadData()
|
|
|
| for (arch, mode) in options.arch_and_mode:
|
| - code = Execute(arch, mode, args, options, suites, workspace)
|
| + try:
|
| + code = Execute(arch, mode, args, options, suites, workspace)
|
| + except KeyboardInterrupt:
|
| + return 2
|
| exit_code = exit_code or code
|
| return exit_code
|
|
|
| @@ -449,7 +452,7 @@ def Execute(arch, mode, args, options, suites, workspace):
|
| return exit_code
|
| overall_duration = time.time() - start_time
|
| except KeyboardInterrupt:
|
| - return 1
|
| + raise
|
|
|
| if options.time:
|
| verbose.PrintTestDurations(suites, overall_duration)
|
|
|