diff options
author | Mike Frysinger <vapier@gentoo.org> | 2005-09-24 04:58:20 +0000 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2005-09-24 04:58:20 +0000 |
commit | b3db5549d2d779ac9a1c1204939d66255e705f09 (patch) | |
tree | c64da9321fac32beeb0b044221d3a68451e4dc7b /Makefile | |
parent | fae2e21c201a395bd1eae159f9eca5edf1f6338b (diff) |
generate headers after running menuconfig
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |