summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index a192280a883d..994b77b51c45 100644
--- a/Makefile
+++ b/Makefile
@@ -1532,6 +1532,8 @@ endif
1532 $(cmd_crmodverdir) 1532 $(cmd_crmodverdir)
1533 $(Q)$(MAKE) KBUILD_MODULES=$(if $(CONFIG_MODULES),1) \ 1533 $(Q)$(MAKE) KBUILD_MODULES=$(if $(CONFIG_MODULES),1) \
1534 $(build)=$(build-dir) 1534 $(build)=$(build-dir)
1535# Make sure the latest headers are built for Documentation
1536Documentation/: headers_install
1535%/: prepare scripts FORCE 1537%/: prepare scripts FORCE
1536 $(cmd_crmodverdir) 1538 $(cmd_crmodverdir)
1537 $(Q)$(MAKE) KBUILD_MODULES=$(if $(CONFIG_MODULES),1) \ 1539 $(Q)$(MAKE) KBUILD_MODULES=$(if $(CONFIG_MODULES),1) \