bug-make
[Top][All Lists]
Advanced

[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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]