diff --git a/build/check-source.sh b/build/check-source.sh index 6605e8c9..c217e6df 100755 --- a/build/check-source.sh +++ b/build/check-source.sh @@ -109,7 +109,7 @@ for file in $FILES; do : ;; # Don't harass these people - people/peeweek/*|people/touky/*) + people/peeweek/*|people/touky/*|people/benlitz/*) : ;; # These files we know how to handle