diff options
author | 2015-12-10 09:02:57 -0800 | |
---|---|---|
committer | 2015-12-10 09:02:57 -0800 | |
commit | 4cb9b265770ea923f9d300d220e8c16fc0bbd759 (patch) | |
tree | a288085dbe06defdc9503b27f94eb592668a1c56 | |
parent | 5bcc3250bfd968a95167c1f73d6f8d5e77d17f1f (diff) |
Update the deployment repo and also detect failure
A failed upload was not being detected and causing the job to fail. This
fixes it so that if the maven upload fails we'll fail the build.
Also, at Ed's request there is now a .dev repo for the regular merge
time deb files so we need to push there and not to .release
Change-Id: I08e01979c35c248f6e0fcc6c3b166f2148a9b9f0
Signed-off-by: Andrew Grimberg <agrimberg@linuxfoundation.org>
-rw-r--r-- | jjb/vpp/include-raw-vpp-maven-push.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/jjb/vpp/include-raw-vpp-maven-push.sh b/jjb/vpp/include-raw-vpp-maven-push.sh index f03cc298a..3a72bd3d0 100644 --- a/jjb/vpp/include-raw-vpp-maven-push.sh +++ b/jjb/vpp/include-raw-vpp-maven-push.sh @@ -37,6 +37,12 @@ function push_file () -Dversion=$version -DartifactId=$artifactId \ -Dtype=$file_type $d_classifier\ -gs $GLOBAL_SETTINGS_FILE -s $SETTINGS_FILE + + # make sure the script bombs if we fail an upload + if [ ! "$?" ]; then + echo "ERROR: There was an error with the upload" + exit 1 + fi } function push_jar () @@ -55,8 +61,8 @@ function push_jar () function push_deb () { debfile=$1 - repoId="${BASEREPOID}release" - url="${BASEURL}release" + repoId="${BASEREPOID}dev" + url="${BASEURL}dev" basefile=$(basename -s .deb "$debfile") artifactId=$(echo "$basefile" | cut -f 1 -d '_') |