diff --git a/tests/fate.sh b/tests/fate.sh index 5870f52604..5ca85000b5 100755 --- a/tests/fate.sh +++ b/tests/fate.sh @@ -82,6 +82,7 @@ report(){ fail(){ report "$@" + clean exit }