summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2015-03-23 00:28:42 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2015-03-23 00:31:02 +0100
commit9e70234cbd21923a1177cc443a4476d8227b6c4f (patch)
treeb167afc8d63b830058423fece536f10cdee14ba8
parent661a7dbad01ea6a55052e0225c88116c873c0bf4 (diff)
Add more exception to local headers list
* scripts/check-local-headers.sh (exclude): Add device/, hurd/hurd_types.h, hurd/ioctl_types.h, hurd/paths.h, hurd/ioctls.defs, cthreads.h.
-rw-r--r--ChangeLog3
-rwxr-xr-xscripts/check-local-headers.sh2
2 files changed, 4 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index 6a53c06c02..5538acdefa 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -23,6 +23,9 @@
* sysdeps/mach/hurd/dl-sysdep.c (fmh): Pass vm_offset_t dummy
9th parameter to __vm_region instead of int.
* bits/termios.h [!__USE_MISC] (EXTPROC): Do not define.
+ * scripts/check-local-headers.sh (exclude): Add device/,
+ hurd/hurd_types.h, hurd/ioctl_types.h, hurd/paths.h, hurd/ioctls.defs,
+ cthreads.h.
2015-03-19 Roland McGrath <roland@hack.frob.com>
diff --git a/scripts/check-local-headers.sh b/scripts/check-local-headers.sh
index 2136b58a50..3589c4056d 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/|gd|nss3/|c\\+\\+/|sys/(capability|sdt(|-config))\\.h|libaudit\\.h)"
+ "/(.*-.*-.*/|)(asm[-/]|arch|linux/|selinux/|mach/|device/|hurd/(((hurd|ioctl)_types|paths)\\.h|ioctls\\.defs)|cthreads\\.h|gd|nss3/|c\\+\\+/|sys/(capability|sdt(|-config))\\.h|libaudit\\.h)"
}
/^[^ ]/ && $1 ~ /.*:/ { obj = $1 }
{