diff --git a/runastyle b/runastyle index 72cea8ff3..b09e6574c 100755 --- a/runastyle +++ b/runastyle @@ -1,5 +1,13 @@ #!/bin/bash +# The version check in this script is used to avoid commit battles +# between different developers that use different astyle versions as +# different versions might have different output (this has happened in +# the past). + +# If project management wishes to take a newer astyle version into use +# just change this string to match astyle version string. ASTYLE_VERSION="Artistic Style Version 2.01" + if [ "`astyle --version 2>&1`" != "${ASTYLE_VERSION}" ]; then echo "You should use: ${ASTYLE_VERSION}"; exit 1;