| Index: tools/run-tests.py
|
| diff --git a/tools/run-tests.py b/tools/run-tests.py
|
| index 92debfde3d6fd3762e73b43e710fbf53d2b1fd26..b58d21d653db9ef395bbb198471fcaf772fef5a8 100755
|
| --- a/tools/run-tests.py
|
| +++ b/tools/run-tests.py
|
| @@ -335,7 +335,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
|
|
|
| @@ -458,7 +461,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)
|
|
|