diff options
| author | Pino Toscano <toscano.pino@tiscali.it> | 2012-11-16 18:55:19 +0100 |
|---|---|---|
| committer | Pino Toscano <toscano.pino@tiscali.it> | 2012-11-16 18:55:19 +0100 |
| commit | a93f9cbc27a00f1bfe64b5ced19b8fde3bdbb1ea (patch) | |
| tree | 21e80af936b100e32ba584f365a3b3870c717035 | |
| parent | d64d9f8780f4f566ff11f3b7bbb2ddeef5505d8c (diff) | |
check-local-headers: ignore Mach kernel headers
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rwxr-xr-x | scripts/check-local-headers.sh | 5 |
2 files changed, 7 insertions, 2 deletions
@@ -1,3 +1,7 @@ +2012-11-16 Pino Toscano <toscano.pino@tiscali.it> + + * scripts/check-local-headers.sh: Ignore 'mach' headers. + 2012-11-16 Andrej Lajovic <natrij@gmail.com> [BZ #14672] 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 } { |