diff options
| author | Nick Mathewson <nickm@torproject.org> | 2019-12-04 12:15:28 -0500 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2019-12-04 12:15:28 -0500 |
| commit | fcb565612801ebcbbc27d47b19644039dfdebed2 (patch) | |
| tree | 4e48fe7c0237f81adb0cb6755be88eb63bf86754 /scripts/maint/practracker/includes.py | |
| parent | 2693bf47e8f98d38386d79e48d56ecbaaf781a02 (diff) | |
| parent | 9ad569c71d081992ac644695064ffb39ce88c61a (diff) | |
| download | tor-fcb565612801ebcbbc27d47b19644039dfdebed2.tar.gz tor-fcb565612801ebcbbc27d47b19644039dfdebed2.zip | |
Merge branch 'ticket32609_squashed'
Diffstat (limited to 'scripts/maint/practracker/includes.py')
| -rwxr-xr-x | scripts/maint/practracker/includes.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/maint/practracker/includes.py b/scripts/maint/practracker/includes.py index f2d91b63a1..ed0e11ef28 100755 --- a/scripts/maint/practracker/includes.py +++ b/scripts/maint/practracker/includes.py @@ -13,6 +13,10 @@ file in each directory. This file contains empty lines, #-prefixed comments, filenames (like "lib/foo/bar.h") and file globs (like lib/*/*.h) for files that are permitted. + + The script exits with an error if any non-permitted includes are found. + .may_include files that contain "!advisory" are considered advisory. + Advisory .may_include files only result in warnings, rather than errors. """ |