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
