diff options
| author | Denis Vlasenko <vda.linux@googlemail.com> | 2008-05-31 06:40:48 +0000 |
|---|---|---|
| committer | Denis Vlasenko <vda.linux@googlemail.com> | 2008-05-31 06:40:48 +0000 |
| commit | 4668e42b904c505ff67817314247631c85872f52 (patch) | |
| tree | af3cabde3868b4e3db4ffe3ad072a1e7b4c07767 /Makefile.in | |
| parent | 73372af094d8631c004ef9c6804364308c7d6093 (diff) | |
Makefile.kconfig: whitespace fix
top-level Makefile.in: add TODO
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 92c6e9e50..9023024ab 100644 --- a/Makefile.in +++ b/Makefile.in @@ -309,6 +309,10 @@ include/bits: # configuration # --------------------------------------------------------------------------- extra/config/conf extra/config/mconf: include/bits +# TODO: this results in "make[1]: `conf' is up to date" printed +# on every rebuild, because extra/config/conf is already built +# on previous make run. Make it "test -x $@ || ..." (simple & a bit wrong) +# or "make -q -C extra/config $(notdir $@) || ..." (less readable)? $(Q)$(MAKE) -C extra/config $(notdir $@) menuconfig: extra/config/mconf include/bits |