diff --git a/build/check-source.sh b/build/check-source.sh index b2c14323..0dd950fc 100755 --- a/build/check-source.sh +++ b/build/check-source.sh @@ -74,9 +74,12 @@ fi for file in $FILES; do case "$file" in - src/bullet/*|contrib/*|people/*|*/generated/*) + src/bullet/*|contrib/*|*/generated/*) : # These files aren't ours, don't fix ;; + people/peeweek/*|people/touky/*) + : # Don't harass these people + ;; *.c|*.cpp|*.h|*.l|*.y) clean=true