diff options
Diffstat (limited to 'crawl-ref/source/util')
| -rwxr-xr-x | crawl-ref/source/util/checkwhite | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crawl-ref/source/util/checkwhite b/crawl-ref/source/util/checkwhite index 888e83c6d3..e6397cdc41 100755 --- a/crawl-ref/source/util/checkwhite +++ b/crawl-ref/source/util/checkwhite @@ -19,6 +19,7 @@ for (@files) chomp; next if -d $_; -f $_ or (print(STDERR "Can't read $_\n"), next); + next if /webserver\/static\/scripts\/contrib\//i; next if /\.(png|gif|ttf|ico|icns|fig|tex|eps|pdf)$/i; next if /\.(sln|vim|pbxproj|vsprops|plist|csproj|config|cs)$/i; next if /\.(vcproj|vcproj\.user|vcxproj|vcxproj\.filters)$/i; |