diff options
| author | Kévin Redon <kredon@sysmocom.de> | 2018-08-07 11:22:24 +0200 |
|---|---|---|
| committer | Kévin Redon <kredon@sysmocom.de> | 2018-08-07 12:09:49 +0200 |
| commit | 37e7861c4d232d96209defaf8ac2dbfb4d11f242 (patch) | |
| tree | 28b7389ec69ae34eee5d9a4dc482e9d2fb45e538 /contrib | |
| parent | ff3d84922df22dc4cfaa373c48b3b00ad9f672b0 (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
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/jenkins.sh | 1 |
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" |