diff options
-rwxr-xr-x | tests/runtests.pl | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index e787796d5..bbe993642 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -224,9 +224,7 @@ sub compare { $res = comparefiles($first, $sec); if ($res != 0) { - if(!$short) { - print " $text FAILED"; - } + print " $text FAILED"; return 1; } |