diff options
Diffstat (limited to 'jjb/scripts')
| -rw-r--r-- | jjb/scripts/setup_vpp_dpdk_dev_env.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jjb/scripts/setup_vpp_dpdk_dev_env.sh b/jjb/scripts/setup_vpp_dpdk_dev_env.sh index 055082538..3d337efcc 100644 --- a/jjb/scripts/setup_vpp_dpdk_dev_env.sh +++ b/jjb/scripts/setup_vpp_dpdk_dev_env.sh @@ -10,12 +10,12 @@ function setup { REPO_URL="${NEXUSPROXY}/content/repositories/fd.io.${REPO_NAME}" echo "REPO_URL: ${REPO_URL}" # Setup by installing vpp-dev and vpp-lib - if [ "$DISTRIB_ID" == "ubuntu" ]; then + if [ "$OS_ID" == "Ubuntu" ]; then echo "deb ${REPO_URL} ./" | sudo tee /etc/apt/sources.list.d/99fd.io.list sudo apt-get update || true sudo apt-get -y --force-yes install vpp-dpdk-dev || true sudo apt-get -y --force-yes install vpp-dpdk-dkms || true - elif [ "$DISTRIB_ID" == "centos" ]; then + elif [ "$OS_ID" == "centos" ]; then sudo cat << EOF > fdio-master.repo [fdio-master] name=fd.io master branch latest merge |