diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/check-installed-headers.sh | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/scripts/check-installed-headers.sh b/scripts/check-installed-headers.sh index 7fbc725c0f..87d6142fa6 100644 --- a/scripts/check-installed-headers.sh +++ b/scripts/check-installed-headers.sh @@ -77,9 +77,14 @@ for header in "$@"; do (bits/* | regexp.h | rpcsvc/*.x) continue;; - # sys/elf.h and sys/vm86.h are "unsupported on x86-64" and - # #error out on that target. - (sys/elf.h | sys/vm86.h) + # All extant versions of sys/elf.h contain nothing more than an + # exhortation (either a #warning or an #error) to use sys/procfs.h + # instead, plus an inclusion of that header. + (sys/elf.h) + continue;; + + # sys/vm86.h is "unsupported on x86-64" and errors out on that target. + (sys/vm86.h) case "$is_x86_64" in (yes) continue;; (no) ;; |