diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 | ||
1536 | Documentation/: 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) \ |