From: Daniel Arndt <arndtd@ornl.gov>
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=refs%2Fpull%2F9229%2Fhead;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