aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKévin Redon <kredon@sysmocom.de>2018-08-07 11:22:24 +0200
committerKévin Redon <kredon@sysmocom.de>2018-08-07 12:09:49 +0200
commit37e7861c4d232d96209defaf8ac2dbfb4d11f242 (patch)
tree28b7389ec69ae34eee5d9a4dc482e9d2fb45e538
parentff3d84922df22dc4cfaa373c48b3b00ad9f672b0 (diff)
jenkins: fix publish
the script argument was not saved in the publish variable used later to decide if publishing/uploading is needed. Change-Id: Ic768a8e96e5e4d72acf3979da1412d683f79ec55
-rwxr-xr-xcontrib/jenkins.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index bf755b6..5ce5993 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -9,6 +9,7 @@ fi
set -e
+publish="$1"
base="$PWD"
deps="$base/deps"
inst="$deps/install"