summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2018-03-03 20:06:04 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2018-03-03 20:18:12 +0100
commiteb1ca47e5591dced9e74f120fbcb738b49e309cd (patch)
tree8a4b4f95be38e1fc838a8246340cba226d735ca8
parenteaf6753f8aac33a36deb98c1031d1bad7b593d2d (diff)
hurd: do not check Mach and Hurd headers
as they are not standard. * scripts/check-installed-headers.sh: Ignore Hurd and Mach headers.
-rw-r--r--ChangeLog4
-rw-r--r--scripts/check-installed-headers.sh7
2 files changed, 11 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 775e4c6ab3..dd65beebc6 100644
--- 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 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"