From: Timo Heister 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 $?