From: Wolfgang Bangerth Date: Fri, 22 May 2015 03:58:50 +0000 (-0500) Subject: Check that we have the right astyle version. X-Git-Tag: v8.3.0-rc1~157^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F953%2Fhead;p=dealii.git Check that we have the right astyle version. --- diff --git a/contrib/utilities/indent b/contrib/utilities/indent index bdd99afc40..90ef508f65 100755 --- a/contrib/utilities/indent +++ b/contrib/utilities/indent @@ -24,6 +24,17 @@ if test ! -f contrib/utilities/astyle.rc ; then exit fi +if test -z "`which astyle`" ; then + echo "*** No astyle program found." + exit +fi + +if test "`astyle --version 2>&1`" != "Artistic Style Version 2.04" ; then + echo "*** Found a version of astyle different than the required version 2.04." + exit +fi + + # loop over all directories in which we may have source files; # collect a list of files and then spawn a parallel process to