diff --git a/testing/do-tests.in b/testing/do-tests.in index b16ff24cdd..9ff7d9e247 100755 --- a/testing/do-tests.in +++ b/testing/do-tests.in @@ -456,7 +456,7 @@ do