[SeaBIOS] [PATCH] build: move .config to $(OUT)
Kevin O'Connor
kevin at koconnor.net
Tue Sep 24 13:58:38 CEST 2013
On Fri, Sep 20, 2013 at 10:02:50AM +0200, Gerd Hoffmann wrote:
> Place the .config file in the output directory. This makes it easier
> to have multiple output directories with different configurations as
> "make OUT=out-${config}/" will automatically switch to the correct
> configuration. It also allows to do parallel builds of different
> configurations.
>
> To simplify transition copy over the .config file in case there is one
> at the old location but not at the new location.
This would mean that "make clean" would remove .config.
I don't think this is the right thing to do. If a user wants a
different location for .config they can run "make KCONFIG_CONFIG=foo".
-Kevin
More information about the SeaBIOS
mailing list