diff options
Diffstat (limited to 'util/lint/lint-stable-009-old-licenses')
| -rwxr-xr-x | util/lint/lint-stable-009-old-licenses | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/util/lint/lint-stable-009-old-licenses b/util/lint/lint-stable-009-old-licenses index 0b772263fa..09b53a2b14 100755 --- a/util/lint/lint-stable-009-old-licenses +++ b/util/lint/lint-stable-009-old-licenses @@ -28,7 +28,11 @@ HEADER_EXCLUDED="\ _shipped$|\ ^util/scripts/no-fsf-addresses.sh|\ ^util/lint/lint-000-license-headers|\ -^util/lint/lint-stable-009-old-licenses\ +^util/lint/lint-stable-009-old-licenses|\ +^util/nvidia/cbootimage|\ +^3rdparty|\ +__pycache__|\ +^payloads/external\ " if [ -z "$HEADER_DIRS" ]; then |