diff --git a/thirdparty/download-thirdparty.sh b/thirdparty/download-thirdparty.sh index bd5f65d1e5..ef294e7413 100755 --- a/thirdparty/download-thirdparty.sh +++ b/thirdparty/download-thirdparty.sh @@ -16,7 +16,7 @@ # specific language governing permissions and limitations # under the License. -#set -e +set -e ################################################################ # This script will download all thirdparties and java libraries # which are defined in *vars.sh*, unpack patch them if necessary.