[Bug bootstrap/47016] bootstrap on darwin needs much more disk space than expected to complete

[g...@denis-excoffier.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47016

--- Comment #4 from Denis Excoffier <g...@denis-excoffier.org> ---
(In reply to Dominique d'Humieres from comment #3)
> Any reason to keep this PR open?
>From my side, no.