diff --git a/maint/code-cleanup.sh b/maint/code-cleanup.sh index a441858c891..dedbad6ff08 100755 --- a/maint/code-cleanup.sh +++ b/maint/code-cleanup.sh @@ -7,10 +7,10 @@ else fi indent_version=$($indent --version) -if echo "$indent_version" | grep -q "GNU indent"; then +if echo "$indent_version" | grep -q "GNU indent 2.2.11"; then : else - echo "This script requires GNU indent." + echo "This script requires GNU indent version 2.2.11." exit fi