Re: [PATCH] Fix DOS-based system build and fix documentation.

2018-07-03 Thread Jeff Law
On 07/03/2018 11:23 AM, Martin Liška wrote: > Hi. > > I'm sending fix for DOS-based system, it's a compilation error that > I introduced some time ago. Plus I add Jonathan's correction of a > documentation > entry. > > Ready for trunk? > Thanks, > Martin > > gcc/ChangeLog: > > 2018-07-03  Marti

[PATCH] Fix DOS-based system build and fix documentation.

2018-07-03 Thread Martin Liška
Hi. I'm sending fix for DOS-based system, it's a compilation error that I introduced some time ago. Plus I add Jonathan's correction of a documentation entry. Ready for trunk? Thanks, Martin gcc/ChangeLog: 2018-07-03 Martin Liska Jonathan Wakely * coverage.c: Use corr