From eb1ca47e5591dced9e74f120fbcb738b49e309cd Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Sat, 3 Mar 2018 20:06:04 +0100 Subject: [PATCH] hurd: do not check Mach and Hurd headers as they are not standard. * scripts/check-installed-headers.sh: Ignore Hurd and Mach headers. --- ChangeLog | 4 ++++ scripts/check-installed-headers.sh | 7 +++++++ 2 files changed, 11 insertions(+) diff --git a/ChangeLog b/ChangeLog index 775e4c6ab3..dd65beebc6 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2018-03-03 Samuel Thibault + + * scripts/check-installed-headers.sh: Ignore Hurd and Mach headers. + 2018-03-03 Andreas Schwab [BZ #22918] 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" -- 2.11.4.GIT