diff options
| -rw-r--r-- | testsuite/driver/testlib.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index 7a1fafbbd7..1a12f5c086 100644 --- a/testsuite/driver/testlib.py +++ b/testsuite/driver/testlib.py @@ -1223,7 +1223,7 @@ def do_test(name: TestName, # with the output. def override_options(pre_cmd): if config.verbose >= 5 and bool(re.match('\$make', pre_cmd, re.I)): - return pre_cmd.replace('-s' , '') \ + return pre_cmd.replace(' -s' , '') \ .replace('--silent', '') \ .replace('--quiet' , '') |