diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -866,6 +866,10 @@ headers_install: include/linux/version.h | |||
866 | $(Q)rm -rf $(INSTALL_HDR_PATH)/include | 866 | $(Q)rm -rf $(INSTALL_HDR_PATH)/include |
867 | $(Q)$(MAKE) -rR -f $(srctree)/scripts/Makefile.headersinst obj=include | 867 | $(Q)$(MAKE) -rR -f $(srctree)/scripts/Makefile.headersinst obj=include |
868 | 868 | ||
869 | PHONY += headers_check | ||
870 | headers_check: headers_install | ||
871 | $(Q)$(MAKE) -rR -f $(srctree)/scripts/Makefile.headersinst obj=include HDRCHECK=1 | ||
872 | |||
869 | # --------------------------------------------------------------------------- | 873 | # --------------------------------------------------------------------------- |
870 | # Modules | 874 | # Modules |
871 | 875 | ||