From b7ff949b5b307bd72f4fec198428484c050013d8 Mon Sep 17 00:00:00 2001 From: Ed Warnicke Date: Thu, 21 Apr 2016 13:23:30 -0500 Subject: [PATCH] Fix push_deb Change-Id: Ie33def177bca89a25f4d7a007603b3822ba7f6c5 Signed-off-by: Ed Warnicke --- jjb/vpp/include-raw-vpp-maven-push.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 '_') -- 2.16.6