On 4 November 2016 at 22:51, Dennis Clarke wrote: > > So should the userid that is performing the build inside the separate > build directory be allowed to modify the contents inside the source tree > directory ? GCC doesn't modify its sources, but if MPFR does then there's not much we can do about it.
