From: Ed Warnicke Date: Thu, 21 Apr 2016 18:23:30 +0000 (-0500) Subject: Fix push_deb X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=b7ff949b5b307bd72f4fec198428484c050013d8;p=ci-management.git Fix push_deb Change-Id: Ie33def177bca89a25f4d7a007603b3822ba7f6c5 Signed-off-by: Ed Warnicke --- diff --git a/jjb/vpp/include-raw-vpp-maven-push.sh b/jjb/vpp/include-raw-vpp-maven-push.sh index a9a401281..626951407 100644 --- a/jjb/vpp/include-raw-vpp-maven-push.sh +++ b/jjb/vpp/include-raw-vpp-maven-push.sh @@ -70,7 +70,7 @@ function push_deb () { debfile=$1 repoId=${REPOID_TARGET[${OS}]} - url="${REPOURL_TARGET[${OS}]}dev" + url="${REPOURL_TARGET[${OS}]}" basefile=$(basename -s .deb "$debfile") artifactId=$(echo "$basefile" | cut -f 1 -d '_')