diff options
| author |   Michal Cmarada <mcmarada@cisco.com> | 2019-04-17 12:41:37 +0200 |
|---|---|---|
| committer | Michal Cmarada <mcmarada@cisco.com> | 2019-04-17 10:42:04 +0000 |
| commit | 8745da5da26eb9f74110ff776f5e8e91de2da553 (patch) | |
| tree | d6a2b8cc1b8e20b1240b3339bfdd941d1c746aed | |
| parent | 0c8dd51d7f259cbbb559feac78be09b792104396 (diff) | |
Fix JVPP stable branch builds
Change-Id: I95d0d6dd529c596e7fad413e234155c6bd953d0d
Signed-off-by: Michal Cmarada <mcmarada@cisco.com>
| -rw-r--r-- | jjb/scripts/setup_jvpp_dev_env.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/jjb/scripts/setup_jvpp_dev_env.sh b/jjb/scripts/setup_jvpp_dev_env.sh index 8ef360869..f519dcb7b 100644 --- a/jjb/scripts/setup_jvpp_dev_env.sh +++ b/jjb/scripts/setup_jvpp_dev_env.sh @@ -23,6 +23,10 @@ function setup { echo "REPO_URL: ${REPO_URL}" # Setup by installing vpp-dev and vpp-lib if [[ "$DISTRIB_ID" == "Ubuntu" ]]; then + if ! [[ "${STREAM}" == "master" ]]; then + echo "stable branch - clearing all fdio repos. new one will be installed." + sudo rm -f /etc/apt/sources.list.d/fdio_*.list + fi if [[ -f /etc/apt/sources.list.d/99fd.io.list ]];then echo "Deleting: /etc/apt/sources.list.d/99fd.io.list" sudo rm /etc/apt/sources.list.d/99fd.io.list |