diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rwxr-xr-x | scripts/check-local-headers.sh | 2 |
2 files changed, 5 insertions, 1 deletions
@@ -1,3 +1,7 @@ +2016-08-21 Samuel Thibault <samuel.thibault@ens-lyon.org> + + * scripts/check-local-headers.sh (exclude): Add mach_debug/. + 2016-08-19 Paul E. Murphy <murphyp@linux.vnet.ibm.com> * math/Makefile (libm-gen-calls): Add diff --git a/scripts/check-local-headers.sh b/scripts/check-local-headers.sh index 4cae4db572..0a967bb5ce 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 } { |