[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #62397] jobserver unavailable from $(shell $(MAKE)...)
From: |
Paul D. Smith |
Subject: |
[bug #62397] jobserver unavailable from $(shell $(MAKE)...) |
Date: |
Tue, 30 Aug 2022 21:51:18 -0400 (EDT) |
Update of bug #62397 (project make):
Status: None => Fixed
Open/Closed: Open => Closed
Fixed Release: None => SCM
Triage Status: None => Medium Effort
_______________________________________________________
Follow-up Comment #4:
This is fixed now in two different ways:
First, the jobserver has been reworked to use a named pipe instead of an
anonymous pipe. This means that any sub-make can open and use the pipe
without having to have file descriptors left open.
Second, on systems where we can't use a named pipe we'll add an extra argument
disabling the jobserver to MAKEFLAGS to ensure that makes invoked by shell
won't try to use it.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?62397>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug #62397] jobserver unavailable from $(shell $(MAKE)...),
Paul D. Smith <=