diff options
Diffstat (limited to 'scripts/maint/checkIncludes.py')
| -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) |