diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2016-08-21 03:24:32 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2016-08-21 03:25:51 +0200 |
commit | 5912cee5a85dbf63cd45932257eab97b83f0d880 (patch) | |
tree | 57f580790c7f194b0585b323ef5e49402ac9cc80 /scripts | |
parent | 3f70b4e6d085014cf2aee6b3cf9bb82a86aa70bd (diff) |
mach: Add more allowed external headers
* scripts/check-local-headers.sh (exclude): Add mach_debug/.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/check-local-headers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/check-local-headers.sh b/scripts/check-local-headers.sh index a81444a89e..a726969172 100755 --- a/scripts/check-local-headers.sh +++ b/scripts/check-local-headers.sh @@ -33,7 +33,7 @@ exec ${AWK} -v includedir="$includedir" ' BEGIN { status = 0 exclude = "^" includedir \ - "/(.*-.*-.*/|.*-.*/|)(asm[-/]|arch|linux/|selinux/|mach/|device/|hurd/(((hurd|ioctl)_types|paths)\\.h|ioctls\\.defs|ihash\\.h)|cthreads\\.h|gd|nss3/|c\\+\\+/|sys/(capability|sdt(|-config))\\.h|libaudit\\.h)" + "/(.*-.*-.*/|.*-.*/|)(asm[-/]|arch|linux/|selinux/|mach/|mach_debug/|device/|hurd/(((hurd|ioctl)_types|paths)\\.h|ioctls\\.defs|ihash\\.h)|cthreads\\.h|gd|nss3/|c\\+\\+/|sys/(capability|sdt(|-config))\\.h|libaudit\\.h)" } /^[^ ]/ && $1 ~ /.*:/ { obj = $1 } { |