"Van de Bugger wrote:"
>
> Follow-up Comment #2, bug #40431 (project make):
>
> Thanks, I also found this trick independently. Unfortunately the trick does
> not work. Or, stricly speaking, it works, but there is an unwanted side effect
> which makes it useless. Look:
>
> # Note: in current shel
Follow-up Comment #2, bug #40431 (project make):
Thanks, I also found this trick independently. Unfortunately the trick does
not work. Or, stricly speaking, it works, but there is an unwanted side effect
which makes it useless. Look:
# Note: in current shell pipefail is not set.
$ echo $SHELLOPTS
