On Wed, Mar 21, 2018 at 02:15:20PM +0100, Stefan Weil wrote: > Am 21.03.2018 um 14:08 schrieb Michael S. Tsirkin: > > It still leaves us with a host of problems e.g. the problem of stale > > headers in the source directory. > > There have already been suggestions in the past to forbid in-tree > builds. Would it help if configure would refuse to run from the root > source directory? At least .gitignore could be much smaller then. > > Stefan
I think I have a better idea, not relying on external tools. Will post a proposal shortly. -- MST