Fix push_deb

Change-Id: Ie33def177bca89a25f4d7a007603b3822ba7f6c5
Signed-off-by: Ed Warnicke <eaw@cisco.com>

diff --git a/jjb/vpp/include-raw-vpp-maven-push.sh b/jjb/vpp/include-raw-vpp-maven-push.sh
index a9a4012..6269514 100644 (file)
--- 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 '_')