diff options
| author |   Ed Warnicke <eaw@cisco.com> | 2016-04-21 13:23:30 -0500 |
|---|---|---|
| committer | Ed Warnicke <eaw@cisco.com> | 2016-04-21 13:23:30 -0500 |
| commit | b7ff949b5b307bd72f4fec198428484c050013d8 (patch) | |
| tree | 8ad9ced0b3af447cfe883329b94cb51089dc8295 /jjb/vpp | |
| parent | 5817c7c0af55e9697f975186343b24acbe80a1f0 (diff) | |
Fix push_deb
Change-Id: Ie33def177bca89a25f4d7a007603b3822ba7f6c5
Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to 'jjb/vpp')
| -rw-r--r-- | jjb/vpp/include-raw-vpp-maven-push.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 '_') |