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 | |
| parent | fae2e21c201a395bd1eae159f9eca5edf1f6338b (diff) | |
generate headers after running menuconfig
| -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 |