diff options
| -rwxr-xr-x | buildtools/check_license_headers.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/buildtools/check_license_headers.py b/buildtools/check_license_headers.py index de6658239..e57b68a44 100755 --- a/buildtools/check_license_headers.py +++ b/buildtools/check_license_headers.py @@ -32,6 +32,9 @@ for root, dirs, files in os.walk("."): continue if sum([p.startswith(i) for i in IGNORE_PATHS]): continue + if subprocess.call(["git", "check-ignore", "-q", "--", p]) == 0: + # file is in .gitignore + continue license[p] = None hasSPDX[p] = False |