On 10/24/2014 06:32 AM, Hans-Peter Nilsson wrote: > It seems "more correct" to just disable the config.cache sharing > between the differently-configured build-subdirectories, as is > already is done for host-libraries and target-libraries, even if > that may slow down the builds.
Yes, please do.
