diff options
author | Michal Cmarada <mcmarada@cisco.com> | 2019-05-02 13:56:29 +0200 |
---|---|---|
committer | Michal Cmarada <mcmarada@cisco.com> | 2019-05-02 13:56:29 +0200 |
commit | 9941103a3fc99fedcf79e67eeee9d334cfa2e43e (patch) | |
tree | fd2bb6b7eab3da4bec4c5a80798cf87d4825e855 /jjb/scripts/setup_jvpp_dev_env.sh | |
parent | b988215454655edc3923bb2789a2b62f7eedada5 (diff) |
Fix JVPP merge deps for release builds
At the time when JVPP release is done VPP packages are already
in the release repository. This fixes repository setup to use
release repository for dependencies in case of release build.
Change-Id: I12bbf02e9c27b54a8641253ab903abd96d8a5201
Signed-off-by: Michal Cmarada <mcmarada@cisco.com>
Diffstat (limited to 'jjb/scripts/setup_jvpp_dev_env.sh')
-rw-r--r-- | jjb/scripts/setup_jvpp_dev_env.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/jjb/scripts/setup_jvpp_dev_env.sh b/jjb/scripts/setup_jvpp_dev_env.sh index f519dcb7b..9017f0db6 100644 --- a/jjb/scripts/setup_jvpp_dev_env.sh +++ b/jjb/scripts/setup_jvpp_dev_env.sh @@ -16,6 +16,17 @@ echo DISTRIB_RELEASE: $DISTRIB_RELEASE echo DISTRIB_CODENAME: $DISTRIB_CODENAME echo DISTRIB_DESCRIPTION: $DISTRIB_DESCRIPTION +JVPP_VERSION=`./version` +echo JVPP_VERSION: $JVPP_VERSION +# Check release version +if [[ "$JVPP_VERSION" == *"-release" ]]; then + # at the time when JVPP release packages are being build, + # vpp release packages are already promoted to release repository. + # Therefore we need to switch to release repository in order to download + # correct vpp package versions + STREAM="release" +fi + function setup { if ! [[ -z ${REPO_NAME} ]]; then echo "INSTALLING VPP-DPKG-DEV from apt/yum repo" |