[bug #56764] Different behavior of printf command executed from Makefile and from shell.

2019-08-16 Thread Martin Dorey
Follow-up Comment #1, bug #56764 (project make): I get similar, but that's because my login shell is /bin/bash: martind@swiftboat:~$ getent passwd martind | cut -f7 -d: /bin/bash martind@swiftboat:~$ ... while: lrwxrwxrwx 1 root root 4 Nov 8 2014 /bin/sh -> dash Make will default to using

[bug #56764] Different behavior of printf command executed from Makefile and from shell.

2019-08-16 Thread Yuriy Khokhulya
URL: Summary: Different behavior of printf command executed from Makefile and from shell. Project: make Submitted by: yutik_05 Submitted on: Пт. 16 авг. 2019 20:47:45 Severity: 3 -

Re: Should make handle non-blocking jobserver and use socket pair instead?

2019-08-16 Thread Juha-Matti Tilli
On Thu, Aug 15, 2019 at 7:04 PM Howard Chu wrote: > The jobserver was designed using a pipe because that is the least common > denominator > for IPC across POSIX systems - it worked across all flavors of Unix in > existence in 1991, > and continues to work unchanged to this day with no special