Merge branch 'ticket32609_squashed'

2024-12-06 19:41:15 +01:00 · 2019-12-04 12:15:28 -05:00
parent 2693bf47e8 9ad569c71d
commit fcb5656128
32 changed files with 59 additions and 13 deletions
@@ -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.
 """