diff options
-rwxr-xr-x | contrib/jenkins.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index f5cf8a2..1100acf 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/sh -xe # jenkins build helper script for pysim. This is how we build on jenkins.osmocom.org # # environment variables: @@ -6,8 +6,6 @@ # * PUBLISH: upload manuals after building if set to "1" (ignored without WITH_MANUALS = "1") # -set -e - if [ ! -d "./pysim-testdata/" ] ; then echo "###############################################" echo "Please call from pySim-prog top directory" |