summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 597e9d930..fdb00fb66 100644
--- a/Makefile
+++ b/Makefile
@@ -305,6 +305,7 @@ menuconfig: extra/config/mconf
$(RM) -r include/bits
$(INSTALL) -d include/bits
@./extra/config/mconf extra/Configs/Config.in
+ $(MAKE) headers
config: extra/config/conf
$(RM) -r include/bits