hurd: do not check Mach and Hurd headers

as they are not standard.

	* scripts/check-installed-headers.sh: Ignore Hurd and Mach headers.

diff --git a/ChangeLog b/ChangeLog
index 775e4c6ab3a4982f21d22d49c195e008d42d0287..dd65beebc63e78b18eee45c42cbe44cad7d284eb 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2018-03-03  Samuel Thibault  <samuel.thibault@ens-lyon.org>
+
+       * scripts/check-installed-headers.sh: Ignore Hurd and Mach headers.
+
 2018-03-03  Andreas Schwab  <schwab@linux-m68k.org>
 
        [BZ #22918]

diff --git a/scripts/check-installed-headers.sh b/scripts/check-installed-headers.sh
index 7ffd2b8e749b3b0545202369d4f9b22e8f1fb62e..f7f55917f749451ff8e2a579dcf0fe8636c7cb53 100644 (file)
--- 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"