Am 21.11.2016 um 15:13 schrieb Ludovic Courtès: > I don’t like the idea of passing those via the big ‘Settings’ > singleton.
Well, the Settings are already used to pass options like --keep-going to the build process. So the "Singleton" is mutable per-process anyway. This is why I've put these here, too. But if you prefer passing them around, I'll try to implement this. -- Regards Hartmut Goebel | Hartmut Goebel | h.goe...@crazy-compilers.com | | www.crazy-compilers.com | compilers which you thought are impossible |