diff options
Diffstat (limited to 'tools/checkowners.py')
| -rwxr-xr-x | tools/checkowners.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/checkowners.py b/tools/checkowners.py index 8568ccf861..7f03968807 100755 --- a/tools/checkowners.py +++ b/tools/checkowners.py @@ -56,7 +56,8 @@ def main(): glob = '[a-zA-Z0-9_\\.\\-\\*\\?]+' globs = '(%s( *, *%s)*)' % (glob, glob) perfile = 'per-file +' + globs + ' *= *' + directive - pats = '(|%s|%s|%s)$' % (noparent, email, perfile) + include = 'include +([^ :]+ *: *)?[^ ]+' + pats = '(|%s|%s|%s|%s)$' % (noparent, email, perfile, include) patterns = re.compile(pats) address_pattern = re.compile('([^@ ]+@[^ @]+)') perfile_pattern = re.compile('per-file +.*=(.*)') |