On Tue, 2023-02-14 at 01:04 +0100, Bruno Haible wrote: > And possibly also on GNU/Hurd. Cf. > https://lists.gnu.org/archive/html/bug-make/2023-01/msg00107.html
I may be misremembering but I thought that you had tried forcing the pipe jobserver option on GNU/Hurd and it didn't help.
