From 8ea2be472c84cd7b3989e43b8a7021d9aef305bb Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Sun, 5 Jan 2020 17:25:38 +0100 Subject: [PATCH] Return error code from indent-all in check_indentation.sh --- contrib/utilities/check_indentation.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.5