From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 4 Mar 2020 13:16:24 +0000 (-0500)
Subject: CI: fix check_indentation.sh script
X-Git-Tag: v9.2.0-rc1~462^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9f19609502218af844cbf10b6f30588a63589201;p=dealii.git

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 6ea739e9d1..fb5fa97f11 100755
--- 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 $?