aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorPino Toscano <toscano.pino@tiscali.it>2012-11-16 18:55:19 +0100
committerPino Toscano <toscano.pino@tiscali.it>2012-11-16 18:55:19 +0100
commita93f9cbc27a00f1bfe64b5ced19b8fde3bdbb1ea (patch)
tree21e80af936b100e32ba584f365a3b3870c717035 /scripts
parentd64d9f8780f4f566ff11f3b7bbb2ddeef5505d8c (diff)
downloadglibc-a93f9cbc27a00f1bfe64b5ced19b8fde3bdbb1ea.tar
glibc-a93f9cbc27a00f1bfe64b5ced19b8fde3bdbb1ea.tar.gz
glibc-a93f9cbc27a00f1bfe64b5ced19b8fde3bdbb1ea.tar.bz2
glibc-a93f9cbc27a00f1bfe64b5ced19b8fde3bdbb1ea.zip
check-local-headers: ignore Mach kernel headers
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/check-local-headers.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/check-local-headers.sh b/scripts/check-local-headers.sh
index 5cc8def3e5..e744f8c74e 100755
--- a/scripts/check-local-headers.sh
+++ b/scripts/check-local-headers.sh
@@ -27,12 +27,13 @@ shopt -s nullglob
# Search all dependency files for file names in the include directory.
# There are a few system headers we are known to use.
-# These include Linux kernel headers (asm*, arch, and linux).
+# These include Linux kernel headers (asm*, arch, and linux),
+# and Mach kernel headers (mach).
exec ${AWK} -v includedir="$includedir" '
BEGIN {
status = 0
exclude = "^" includedir \
- "/(.*-.*-.*/|)(asm[-/]|arch|linux/|selinux/|gd|nss3/|c\\+\\+/|sys/(capability|sdt(|-config))\\.h|libaudit\\.h)"
+ "/(.*-.*-.*/|)(asm[-/]|arch|linux/|selinux/|mach/|gd|nss3/|c\\+\\+/|sys/(capability|sdt(|-config))\\.h|libaudit\\.h)"
}
/^[^ ]/ && $1 ~ /.*:/ { obj = $1 }
{