]> https://gitweb.dealii.org/ - dealii.git/commitdiff
CI: fix check_indentation.sh script 9612/head
authorTimo Heister <timo.heister@gmail.com>
Wed, 4 Mar 2020 13:16:24 +0000 (08:16 -0500)
committerTimo Heister <timo.heister@gmail.com>
Wed, 4 Mar 2020 13:16:24 +0000 (08:16 -0500)
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.

contrib/utilities/check_indentation.sh

index 6ea739e9d17fa617b2588d3f988450ef2fdf1782..fb5fa97f11fc0b7c6b36518dd22b78f8a472ee20 100755 (executable)
@@ -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 $?

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.