Update lint.py filters and fix a couple identified issues

develop
lethosor 2021-09-06 18:42:45 -04:00
parent 3e26618004
commit 11222f21d3
No known key found for this signature in database
GPG Key ID: 76A269552F4F58C1
5 changed files with 53 additions and 17 deletions

@ -1,11 +1,32 @@
# Files that lint.py should check
*.bash
*.bat
*.c
*.cc
*.cmake
*.cpp
*.css
*.gitignore
*.h
*.hh
*.hpp
*.in
*.inc
*.init
*.init-example
*.js
*.lua
*.manifest
*.md
*.mm
*.pl
*.proto
*.py
*.rb
*.rst
*.sh
*.txt
*.vbs
*.yaml
*.yml

@ -1,8 +1,23 @@
library/include/df/*
plugins/stonesense/allegro/*
plugins/isoworld/allegro/*
plugins/isoworld/agui/*
depends/*
# Files that lint.py should ignore
.git/*
build*/*
# Old files exempt from checks for now
plugins/isoworld/*.txt
plugins/raw/*.txt
plugins/stonesense/*.txt
plugins/stonesense/utilities/*
# Generated files
*.pb.h
build*/*
docs/_*
docs/html/*
docs/pdf/*
library/include/df/*
# Dependencies that we don't control
depends/*
plugins/isoworld/agui/*
plugins/isoworld/allegro/*
plugins/stonesense/allegro/*