diff --git a/.jenkins.sh b/.jenkins.sh index 417a5f3ff640d8df0320163a83de73c19be5f1de..5a6298e36dac0f56ec1085a26a9a46c502600525 100755 --- a/.jenkins.sh +++ b/.jenkins.sh @@ -3,7 +3,7 @@ # See: https://forge.etsi.org/etsi-forge-copyright-statement.txt #set -vx -set -e +#set -e cd "$(dirname "$0")"