diff options
Diffstat (limited to 'misc')
| -rwxr-xr-x | misc/scripts/header_guards.sh | 2 | ||||
| -rw-r--r-- | misc/scripts/mypy.ini | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/misc/scripts/header_guards.sh b/misc/scripts/header_guards.sh index 1f8aa6151c..ce0b3f334d 100755 --- a/misc/scripts/header_guards.sh +++ b/misc/scripts/header_guards.sh @@ -19,7 +19,7 @@ for file in $files; do # Skip *.gen.h and *-so_wrap.h, they're generated. if [[ "$file" == *".gen.h" || "$file" == *"-so_wrap.h" ]]; then continue; fi # Has important define before normal header guards. - if [[ "$file" == *"thread.h" || "$file" == *"platform_config.h" ]]; then continue; fi + if [[ "$file" == *"thread.h" || "$file" == *"platform_config.h" || "$file" == *"platform_gl.h" ]]; then continue; fi # Obj-C files don't use header guards. if grep -q "#import " "$file"; then continue; fi diff --git a/misc/scripts/mypy.ini b/misc/scripts/mypy.ini index c1ea695ca5..b3323eacda 100644 --- a/misc/scripts/mypy.ini +++ b/misc/scripts/mypy.ini @@ -9,3 +9,4 @@ warn_unreachable = True namespace_packages = True explicit_package_bases = True +exclude = (?x)(^thirdparty) |