forked from mirrors/0ad
Antoine Le Gonidec
c280df9e64
The shell option "set -e" has a tricky, but standard, behaviour: Anything called on the left side of a || or && token ignores "set -e", so failure in a command in a subshell called on the left side of "|| die" does not prevent the execution of the following commands in the subshell. Adding explicit "|| die" calls after each command that could fail (and should interrupt the process) works around this behaviour, by emulating the intuitive "set -e" behaviour.