CI: fix check_indentation.sh script

Due to the addition of check_doxygen.sh we were not checking the return
value of git diff. This means the travis check would pass even though
there was a diff.

diff --git a/contrib/utilities/check_indentation.sh b/contrib/utilities/check_indentation.sh
index 6ea739e9d17fa617b2588d3f988450ef2fdf1782..fb5fa97f11fc0b7c6b36518dd22b78f8a472ee20 100755 (executable)
--- a/contrib/utilities/check_indentation.sh
+++ b/contrib/utilities/check_indentation.sh
@@ -36,6 +36,6 @@ fi
 
 ./contrib/utilities/indent-all || exit $?
 git diff
-git diff-files --quiet 
+git diff-files --quiet || exit $?
 
 ./contrib/utilities/check_doxygen.sh || exit $?