From: Daniel Arndt Date: Sun, 5 Jan 2020 16:25:38 +0000 (+0100) Subject: Return error code from indent-all in check_indentation.sh X-Git-Tag: v9.2.0-rc1~738^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8ea2be472c84cd7b3989e43b8a7021d9aef305bb;p=dealii.git Return error code from indent-all in check_indentation.sh --- diff --git a/contrib/utilities/check_indentation.sh b/contrib/utilities/check_indentation.sh index 5dc153146d..7c9fde0e5e 100755 --- a/contrib/utilities/check_indentation.sh +++ b/contrib/utilities/check_indentation.sh @@ -34,6 +34,6 @@ else echo "Running indentation test on Pull Request #${TRAVIS_PULL_REQUEST}" fi -./contrib/utilities/indent-all +./contrib/utilities/indent-all || exit $? git diff git diff-files --quiet