> That would help this specific case indeed...

The point is that only /dev/null *should* be shared. Any other file *might* be 
locked by an unrelated process but that would represent an error condition in 
which incorrect results should be expected. I can’t think of a file other than 
/dev/null which would appropriately be shared with unrelated processes in a “w” 
(write) condition. 

> On Jul 24, 2021, at 2:15 PM, Dmitry Goncharov <dgoncha...@users.sf.net> wrote:
> 
> That would help this specific case indeed.

  • [bug #60774] ... Mike Frysinger
    • [bug #60... Mike Frysinger
      • [bug... Dmitry Goncharov
        • ... Dmitry Goncharov
          • ... Dmitry Goncharov
            • ... Eli Zaretskii
              • ... David Boyce
                • ... Dmitry Goncharov via Bug reports and discussion for GNU make
                • ... David Boyce
                • ... Dmitry Goncharov via Bug reports and discussion for GNU make
                • ... Paul Smith
                • ... Dmitry Goncharov via Bug reports and discussion for GNU make
                • ... Paul Smith
                • ... Paul Smith
                • ... Dmitry Goncharov via Bug reports and discussion for GNU make
                • ... Paul Smith
                • ... David Boyce
                • ... Paul Smith
              • ... Dmitry Goncharov via Bug reports and discussion for GNU make

Reply via email to