diff options
| author | Nick Mathewson <nickm@torproject.org> | 2018-06-21 14:29:00 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2018-06-21 14:29:00 -0400 |
| commit | eb784aa9eaced1adb436d752ccdbeb2ff19c9e23 (patch) | |
| tree | ab4a9f587e9197b2d6c28a0fc5594b2fc42742d2 /scripts | |
| parent | 8dcc015975856cde2b78f903fd85a0dc7163dfcd (diff) | |
| download | tor-eb784aa9eaced1adb436d752ccdbeb2ff19c9e23.tar.gz tor-eb784aa9eaced1adb436d752ccdbeb2ff19c9e23.zip | |
add license statement to checkincludes, and have it return an error code
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/maint/checkIncludes.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/maint/checkIncludes.py b/scripts/maint/checkIncludes.py index b96b7f4b34..3c611675e4 100755 --- a/scripts/maint/checkIncludes.py +++ b/scripts/maint/checkIncludes.py @@ -1,4 +1,5 @@ #!/usr/bin/python3 +# Copyright 2018 The Tor Project, Inc. See LICENSE file for licensing info. import fnmatch import os @@ -68,3 +69,4 @@ if trouble: err( """To change which includes are allowed in a C file, edit the {} files in its enclosing directory.""".format(RULES_FNAME)) + sys.exit(1) |