]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Return error code from indent-all in check_indentation.sh 9229/head
authorDaniel Arndt <arndtd@ornl.gov>
Sun, 5 Jan 2020 16:25:38 +0000 (17:25 +0100)
committerDaniel Arndt <arndtd@ornl.gov>
Mon, 6 Jan 2020 09:46:02 +0000 (10:46 +0100)
contrib/utilities/check_indentation.sh

index 5dc153146d4a58ff6ea4b58339589a537bf0edaa..7c9fde0e5e90ce290099efc8756e8ee4dfb70a02 100755 (executable)
@@ -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 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.