| Index: tools/run-tests.py
|
| diff --git a/tools/run-tests.py b/tools/run-tests.py
|
| index a9a81f8299878ec09964242ea3ed5169e506c9be..a3d4d0a808465ac622b5646e5e26c10b4e252428 100755
|
| --- a/tools/run-tests.py
|
| +++ b/tools/run-tests.py
|
| @@ -668,7 +668,8 @@ def Execute(arch, mode, args, options, suites, workspace):
|
|
|
| run_networked = not options.no_network
|
| if not run_networked:
|
| - print("Network distribution disabled, running tests locally.")
|
| + if verbose_output:
|
| + print("Network distribution disabled, running tests locally.")
|
| elif utils.GuessOS() != "linux":
|
| print("Network distribution is only supported on Linux, sorry!")
|
| run_networked = False
|
|
|