On 14 April 2015 at 17:19, Harald Servat wrote: > Should we file a PR to request to integrate this patch? Or should I > better follow Peter's suggestion to build gcc from a separate build > directory? You should always build in a separate directory, that's what all the installation docs and the FAQ page on the wiki say.