[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