diff -r 2dfea349d307 -r d48c03998dc1 scripts/crosstool-NG.sh.in --- a/scripts/crosstool-NG.sh.in Tue Jan 03 22:57:25 2012 +0100 +++ b/scripts/crosstool-NG.sh.in Tue May 08 18:31:10 2012 +0200 @@ -596,6 +596,10 @@ fi if [ ${do_it} -eq 1 ]; then ( do_${step} ) + # POSIX 1003.1-2008 does not say if "set -e" should catch a + # sub-shell ending with !0. bash-3 does not, while bash-4 does, + # so the following line is for bash-3; bash-4 would choke above. + [ $? -ne 0 ] if [ "${CT_STOP}" = "${step}" ]; then do_stop=1 fi