diff options
| author | Max Gaukler <development@maxgaukler.de> | 2018-11-08 19:56:35 +0000 |
|---|---|---|
| committer | Max Gaukler <development@maxgaukler.de> | 2018-11-08 19:56:35 +0000 |
| commit | 483902249305e7cc094576842263aa5440d43ac8 (patch) | |
| tree | bde5b73fef8be3a1775ee2badf9bec1fc6ab5c04 /buildtools | |
| parent | fix license in Windows MSI setup (diff) | |
| download | inkscape-483902249305e7cc094576842263aa5440d43ac8.tar.gz inkscape-483902249305e7cc094576842263aa5440d43ac8.zip | |
License header check: ignore files in .gitignore
Diffstat (limited to 'buildtools')
| -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 |