Merge: Some more small improvements on gitlab-ci

[nit.git] / tests / tests.sh

diff --git a/tests/tests.sh b/tests/tests.sh
index 721171d..c19a9a8 100755 (executable)
--- a/tests/tests.sh
+++ b/tests/tests.sh
@@ -846,6 +846,10 @@ fi
 
 echo >>$xml "</testsuite></testsuites>"
 
+if type junit2html >/dev/null; then
+       junit2html "$xml"
+fi
+
 if [ -n "$nok" ]; then
        exit 1
 else