From 9f45bfe790a59bfc072ef096b21dc701e03bccf9 Mon Sep 17 00:00:00 2001 From: Chris Metcalf Date: Tue, 30 Oct 2012 14:17:49 -0400 Subject: [PATCH] check-local-headers: Ignore headers The tile architecture's Linux port installs headers in an directory; these headers are in part shared with glibc. Ignore these headers for check-local-headers like we ignore all the other Linux headers. --- scripts/check-local-headers.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/check-local-headers.sh b/scripts/check-local-headers.sh index 7fafcbf..e914c4b 100755 --- a/scripts/check-local-headers.sh +++ b/scripts/check-local-headers.sh @@ -27,11 +27,12 @@ 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). exec ${AWK} -v includedir="$includedir" ' BEGIN { status = 0 exclude = "^" includedir \ - "/(.*-.*-.*/|)(asm[-/]|linux/|selinux/|gd|nss3/|sys/(capability|sdt(|-config))\\.h|libaudit\\.h)" + "/(.*-.*-.*/|)(asm[-/]|arch|linux/|selinux/|gd|nss3/|sys/(capability|sdt(|-config))\\.h|libaudit\\.h)" } /^[^ ]/ && $1 ~ /.*:/ { obj = $1 } { -- 2.7.4