diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-03-03 20:06:04 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-03-03 20:18:12 +0100 |
| commit | eb1ca47e5591dced9e74f120fbcb738b49e309cd (patch) | |
| tree | 8a4b4f95be38e1fc838a8246340cba226d735ca8 /scripts | |
| parent | eaf6753f8aac33a36deb98c1031d1bad7b593d2d (diff) | |
hurd: do not check Mach and Hurd headers
as they are not standard.
* scripts/check-installed-headers.sh: Ignore Hurd and Mach headers.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/check-installed-headers.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/check-installed-headers.sh b/scripts/check-installed-headers.sh index 7ffd2b8e74..f7f55917f7 100644 --- a/scripts/check-installed-headers.sh +++ b/scripts/check-installed-headers.sh @@ -126,6 +126,13 @@ EOF fi ;; esac + ;; + + # Hurd and Mach headers are not standard anyway + (hurd.h | hurd/*.h | faultexc_server.h | \ + mach.h | mach_init.h | mach_error.h | mach-shortcuts.h | mach/* | \ + device/* | lock-intern.h | spin-lock.h | machine-sp.h) + continue;; esac echo :: "$header" |