[tor-commits] [tor/master] practracker: document !advisory in includes.py

[nickm@xxxxxxxxxxxxxx]

commit b0f1b760aec8fa25fae34be794285fbdfcaaa7e9
Author: teor <teor@xxxxxxxxxxxxxx>
Date:   Tue Dec 3 13:28:55 2019 +1000

    practracker: document !advisory in includes.py
---
 scripts/maint/practracker/includes.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/maint/practracker/includes.py b/scripts/maint/practracker/includes.py
index 1d43bd58e..239ea19ea 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.
 """
 
 



_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits