diff options
author | Ed Warnicke <eaw@cisco.com> | 2016-05-13 15:03:43 -0500 |
---|---|---|
committer | Ed Warnicke <eaw@cisco.com> | 2016-05-13 15:03:43 -0500 |
commit | 3060994363992e52c936f166b9a2d0304d4fab46 (patch) | |
tree | 8365bd56ba4683d18a53a611d8776a94cf283a12 /jjb/vpp | |
parent | 78adde3225a64634ce75211a8b401cd04582e96e (diff) |
Fix reponames
Change-Id: I44c56b3c78deefdd91b1d9febfc015d9c2e927b2
Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to 'jjb/vpp')
-rw-r--r-- | jjb/vpp/include-raw-vpp-maven-push.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jjb/vpp/include-raw-vpp-maven-push.sh b/jjb/vpp/include-raw-vpp-maven-push.sh index 0cdf9bf36..c940e1abc 100644 --- a/jjb/vpp/include-raw-vpp-maven-push.sh +++ b/jjb/vpp/include-raw-vpp-maven-push.sh @@ -57,7 +57,7 @@ function push_jar () function push_deb () { debfile=$1 - repoId=${REPO_NAME} + repoId="fd.io.${REPO_NAME}" url="${BASEURL}${REPO_NAME}" basefile=$(basename -s .deb "$debfile") @@ -70,7 +70,7 @@ function push_deb () function push_rpm () { rpmfile=$1 - repoId=${REPO_NAME} + repoId=fd.io.${REPO_NAME}" url="${BASEURL}${REPO_NAME}" if grep -qE '\.s(rc\.)?rpm' <<<"$rpmfile" |