http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55313
H.J. Lu <hjl.tools at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |WAITING
--- Comment #10 from H.J. Lu <hjl.tools at gmail dot com> 2012-11-22 14:15:14
UTC ---
(In reply to comment #9)
> OK, the problem is that we change the prefix at installation time (by setting
> the "prefix" variable on the make install command line).
>
Does "make install DESTDIR==foobar" work for you?
