On Mon, May 21, 2018 at 7:01 PM François Dumont <frs.dum...@gmail.com> wrote:
> I just committed this patch as trivial. > I must have run tests without rebuilding pre-compiled headers. I'll have > to find out how to build tests without pre-compiled headers to avoid it > in the future. I configure with --disable-libstdcxx-pch which also reduces build-time. RIchard. > François > On 20/05/2018 19:06, fdumont at gcc dot gnu.org wrote: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85845 > > > > François Dumont <fdumont at gcc dot gnu.org> changed: > > > > What |Removed |Added > > ---------------------------------------------------------------------------- > > Status|NEW |ASSIGNED > > Assignee|unassigned at gcc dot gnu.org |fdumont at gcc dot gnu.org > >