Follow-up Comment #3, bug #56064 (project make):
I can't say whether that SO-referenced issue still exists or has been fixed,
but your example usages of setting .SHELLFLAGS are all incorrect. They are
all missing the -c option, which you must provide to the shell otherwise it
thinks that the argument you gave is a filename, not a command to run. See
the shell man page.
Consider:
$ /bin/bash -e 'echo hi'
/bin/bash: echo hi: No such file or directory
$ /bin/bash -ec 'echo hi'
hi
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?56064>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
