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

--- Comment #2 from Gary Funck <gary at intrepid dot com> ---
(In reply to Andreas Schwab from comment #1)
> Nobody is testing make clean, patches welcome.  It's much easier to just
> remove the build directory before starting over.

OK.  I don't plan on looking into it.  It didn't fail on a recent trunk
version, so probably it is fixed there.

Reply via email to