X-Git-Url: http://git.osdn.net/view?a=blobdiff_plain;f=scripts%2FMakefile.headersinst;h=3d1ebaabd1b6601a7f5d59483434c573a0bde8c7;hb=12195302ee6c32cf3c0fa947e17303ce583d41c9;hp=45927fcddbc0a5f69ec88b31aced34788abbb25e;hpb=a67012412e5a820c44239af9712a1a6037b33fd4;p=uclinux-h8%2Flinux.git

diff --git a/scripts/Makefile.headersinst b/scripts/Makefile.headersinst
index 45927fcddbc0..3d1ebaabd1b6 100644
--- a/scripts/Makefile.headersinst
+++ b/scripts/Makefile.headersinst
@@ -56,13 +56,6 @@ check-file    := $(installdir)/.check
 all-files     := $(header-files) $(genhdr-files)
 output-files  := $(addprefix $(installdir)/, $(all-files))
 
-ifneq ($(mandatory-y),)
-missing       := $(filter-out $(all-files),$(mandatory-y))
-ifneq ($(missing),)
-$(error Some mandatory headers ($(missing)) are missing in $(obj))
-endif
-endif
-
 # Work out what needs to be removed
 oldheaders    := $(patsubst $(installdir)/%,%,$(wildcard $(installdir)/*.h))
 unwanted      := $(filter-out $(all-files),$(oldheaders))