Use bash "set -xe" in jenkins build script