Update .jenkins.sh

24bd478c · Yann Garcia · e4be9359 · 24bd478c
Commit 24bd478c authored Jul 12, 2019 by Yann Garcia
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

.jenkins.sh .jenkins.sh +1 -1

No files found.
--- 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")"