[Bug other/91879] DESTDIR support seems incomplete

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91879

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Stas Sergeev from comment #0)
> Hello.
> 
> I tried to build gcc with non-empty DESTDIR.

What exact commands did you run?

I don't see why DESTDIR should matter until the 'make install' step.