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.
dealii · Mar 4, 2020 · 9f19609 · 9f19609
1 parent 3579e25
commit 9f19609
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 $?