diff --git a/autotools/check-python-code b/autotools/check-python-code index ec1d96bc23cdcb741392d51faaa65256452c3765..166e12db184eea50a574afb6ccbc0601b14ce182 100755 --- a/autotools/check-python-code +++ b/autotools/check-python-code @@ -20,6 +20,13 @@ set -e +readonly maxlinelen=$(for ((i=0; i<81; ++i)); do echo -n .; done) + +if [[ "${#maxlinelen}" != 81 ]]; then + echo "Internal error: Check for line length is incorrect" >&2 + exit 1 +fi + # "[...] If the last ARG evaluates to 0, let returns 1; 0 is returned # otherwise.", hence ignoring the return value. let problems=0 || : @@ -47,7 +54,7 @@ for script; do echo "Found editor-specific settings in $script" >&2 fi - if [[ "$(wc --max-line-length < "$script")" -gt 80 ]]; then + if grep -n -H "^$maxlinelen" "$script"; then let ++problems echo "Longest line in $script is longer than 80 characters" >&2 fi