diff --git a/tests/runtests.pl b/tests/runtests.pl index 298c7f60be..eaa516c2e3 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -852,14 +852,13 @@ print <