summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--testsuite/driver/testlib.py2
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' , '')