Follow-up Comment #1, bug #62840 (project make):
I'm not convinced that this is a bug. First, it's highly timing-dependent:
when I tried it it didn't fail:
$ make --version | head -n1
GNU Make 4.3
$ echo $?
0
Second, you can get similar behavior from other commands; you just have to be
sure that the writer is still trying to write when the reader (head) has
exited. For example:
$ (/bin/echo one; sleep 1; /bin/echo hi) | head -n1
one
/bin/echo: write error: Broken pipe
$ echo $?
1
Here /bin/echo exits with 1 not 141 but it's the same thing with a different
exit code.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?62840>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
