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

2019-08-19 Thread Martin Dorey
Follow-up Comment #3, bug #56764 (project make): [comment #2 comment #2:] > When make invokes printf it's assuming a POSIX shell, and running the /usr/bin/printf executable not the bash builtin. Look ma, no /usr/bin/printf: mad@shuttle:~/tmp/make-56764$ strace -f make 2>&1 | grep exec

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

2019-08-17 Thread Paul D. Smith
Update of bug #56764 (project make): Status:None => Not A Bug Open/Closed:Open => Closed ___ Follow-up Comment #2: The problem is you're

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