diff options
| author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-08-30 01:30:37 +0700 |
|---|---|---|
| committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-09-05 23:15:06 +0700 |
| commit | 7ce04a5a29dde3acf02744517b528f10f8b6b15b (patch) | |
| tree | ae8400d866dcffbc30e5e19766067a5c72f9ab55 | |
| parent | b3ea021b323a4ca7b5a64ba5e56f5e17a184efba (diff) | |
contrib/jenkins.sh: execute this script with -x and -e
-x Print commands and their arguments as they are executed
-e Exit immediately if a command exits with a non-zero status
Change-Id: I13af70ef770936bec00b050b6c4f988e53ee2833
| -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" |