Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit 68475359 authored by David Woodhouse's avatar David Woodhouse
Browse files

Basic implementation of 'make headers_check' 



Based on the 'headers_install' target, this performs a basic sanity check
on the exported headers -- so far only checking that they do not include
any other headers which aren't selected for import, but easily extendable.

Signed-off-by: default avatarDavid Woodhouse <dwmw2@infradead.org>
parent 8d730cfb

Makefile

+4 −0
Original line number Diff line number Diff line
@@ -866,6 +866,10 @@ headers_install: include/linux/version.h 
	$(Q)rm -rf $(INSTALL_HDR_PATH)/include

	$(Q)$(MAKE) -rR -f $(srctree)/scripts/Makefile.headersinst obj=include



PHONY += headers_check

headers_check: headers_install

	$(Q)$(MAKE) -rR -f $(srctree)/scripts/Makefile.headersinst obj=include HDRCHECK=1



# ---------------------------------------------------------------------------

# Modules

scripts/Makefile.headersinst

+11 −0
Original line number Diff line number Diff line
@@ -78,6 +78,11 @@ quiet_cmd_unifdef = UNIFDEF $(_dst)/$@ 
      cmd_unifdef	  = $(UNIFDEF) $(srctree)/$(obj)/$@ | $(HDRSED)	\

                            > $(INSTALL_HDR_PATH)/$(_dst)/$@ || :



quiet_cmd_check		  = CHECK   $(_dst)/$@

      cmd_check		  = $(srctree)/scripts/hdrcheck.sh		\

                              $(INSTALL_HDR_PATH)/include		\

			      $(INSTALL_HDR_PATH)/$(_dst)/$@



quiet_cmd_mkdir		  = MKDIR   $@

      cmd_mkdir		  = mkdir -p $(INSTALL_HDR_PATH)/$@
@@ -112,6 +117,11 @@ __headersinst: $(subdir-y) $(header-y) $(unifdef-y) $(altarch-y) $(objhdr-y) 


.PHONY: $(header-y) $(unifdef-y) $(subdir-y)



ifdef HDRCHECK

# Rules for checking headers

$(objhdr-y) $(header-y) $(unifdef-y):

	$(call cmd,check)

else

# Rules for installing headers



$(objhdr-y) $(subdir-y) $(header-y) $(unifdef-y): $(_dst)
@@ -134,6 +144,7 @@ $(header-y): 
$(unifdef-y):

	$(call cmd,unifdef)

endif

endif



hdrinst := -rR -f $(srctree)/scripts/Makefile.headersinst obj

scripts/hdrcheck.sh

0 → 100755
+8 −0
Original line number Diff line number Diff line 
#!/bin/sh



for FILE in `grep '^#include <' $2 | cut -f2 -d\< | cut -f1 -d\> | egrep ^linux\|^asm` ; do

    if [ ! -r $1/$FILE ]; then

	echo $2 requires $FILE, which does not exist

	exit 1

    fi

done