diff options
Diffstat (limited to 'scripts/check-installed-headers.sh')
| -rw-r--r-- | scripts/check-installed-headers.sh | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/scripts/check-installed-headers.sh b/scripts/check-installed-headers.sh index f7f55917f7..4a062e9cda 100644 --- a/scripts/check-installed-headers.sh +++ b/scripts/check-installed-headers.sh @@ -126,13 +126,7 @@ 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" |