From: Timo Heister Date: Sun, 22 Mar 2020 14:38:31 +0000 (-0400) Subject: CI: check file encoding X-Git-Tag: v9.2.0-rc1~383^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9711%2Fhead;p=dealii.git CI: check file encoding closes #8076 --- diff --git a/contrib/utilities/check_indentation.sh b/contrib/utilities/check_indentation.sh index f2a353ef91..ad8207b77e 100755 --- a/contrib/utilities/check_indentation.sh +++ b/contrib/utilities/check_indentation.sh @@ -43,5 +43,8 @@ git diff-files --quiet || exit $? # Run various checks involving doxygen documentation: ./contrib/utilities/check_doxygen.sh || exit $? +# Check for utf8 encoding: +./contrib/utilities/check_encoding.py || exit $? + # Success! exit 0