Re: [PATCH][DOCS] Document make jobserver related changes for GCC 13.

2022-08-22 Thread Martin Liška
On 8/18/22 22:53, Gerald Pfeifer wrote: > On Thu, 18 Aug 2022, Martin Liška wrote: >> Ready for master? > > Nearly. :) > >> +Link-time optimization improvements: >> + >> +LTO supports the newly added GNU make's jobserver that uses >> named pipes (--jobserver-style=fifo) > > I be

Re: [PATCH][DOCS] Document make jobserver related changes for GCC 13.

2022-08-18 Thread Gerald Pfeifer
On Thu, 18 Aug 2022, Martin Liška wrote: > Ready for master? Nearly. :) > +Link-time optimization improvements: > + > +LTO supports the newly added GNU make's jobserver that uses > named pipes (--jobserver-style=fifo) I believe that's just "GNU make" (instead of "GNU make's"), o

[PATCH][DOCS] Document make jobserver related changes for GCC 13.

2022-08-18 Thread Martin Liška
Ready for master? --- htdocs/gcc-13/changes.html | 9 + 1 file changed, 9 insertions(+) diff --git a/htdocs/gcc-13/changes.html b/htdocs/gcc-13/changes.html index 57bd8724..95fee90d 100644 --- a/htdocs/gcc-13/changes.html +++ b/htdocs/gcc-13/changes.html @@ -52,6 +52,15 @@ a work-in-prog