hurd: do not check Mach and Hurd headers

as they are not standard.

	* scripts/check-installed-headers.sh: Ignore Hurd and Mach headers.
This commit is contained in:
Samuel Thibault 2018-03-03 20:06:04 +01:00
parent eaf6753f8a
commit eb1ca47e55
2 changed files with 11 additions and 0 deletions

View File

@ -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]

View File

@ -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"