------- Comment #4 from fxcoudert at gcc dot gnu dot org 2009-06-03 21:58
-------
(In reply to comment #3)
> So I don't know what people want to do about this bug. Over the years some
> people have worked to fix such problems as bugs; and some people want to point
> to the documentation and say "Tough, don't put the build directory in the
> source tree."
I think the latter is really the current consensus.
--
fxcoudert at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31122
