summary refs log tree commit diff
path: root/scripts/check-installed-headers.sh
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/check-installed-headers.sh')
-rw-r--r--scripts/check-installed-headers.sh8
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"