Commit 42f539ee authored by Michael Hanselmann's avatar Michael Hanselmann
Browse files

Check for editor-specific settings at build time

Signed-off-by: default avatarMichael Hanselmann <>
Reviewed-by: default avatarIustin Pop <>
parent 88b02ee9
......@@ -41,6 +41,12 @@ for script; do
echo "Forbidden function 'xrange' used in $script" >&2
if grep -n -H -E -i '#[[:space:]]*(vim|Local[[:space:]]+Variables):' "$script"
let ++problems
echo "Found editor-specific settings in $script" >&2
if [[ "$(wc --max-line-length < "$script")" -gt 80 ]]; then
let ++problems
echo "Longest line in $script is longer than 80 characters" >&2
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment