c6534f45d3
sadly some shells do not grok named signals.
13 lines
537 B
Plaintext
13 lines
537 B
Plaintext
sh: /bin/no/such/command: not found
|
|
make: "varshell.mk" line 5: warning: "/bin/no/such/command" returned non-zero status
|
|
make: "varshell.mk" line 6: warning: "kill -14 $$" exited on a signal
|
|
make: "varshell.mk" line 7: warning: "false" returned non-zero status
|
|
make: "varshell.mk" line 8: warning: "echo "output before the error"; false" returned non-zero status
|
|
EXEC_FAILED=''
|
|
TERMINATED_BY_SIGNAL=''
|
|
ERROR_NO_OUTPUT=''
|
|
ERROR_WITH_OUTPUT='output before the error'
|
|
NO_ERROR_NO_OUTPUT=''
|
|
NO_ERROR_WITH_OUTPUT='this is good'
|
|
exit status 0
|