I too was hit by this change in bash 4.1, however, it is not a bug in
bash but rather a bug in the script.
Compare bash against ksh or zsh, for instance, and you'll see that 4.1
is now in step with those shells.
I have not located the relevant specs, but given that this was an
explicit and documented change, I suspect it's a compliance fix in
bash, rather than just an arbitrary change.
In the bash NEWS files we see:
j. The [[ and (( commands are now subject to the setting of `set -e' and the
ERR trap.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
