diff options
| -rw-r--r-- | jjb/scripts/setup_vpp_dpdk_dev_env.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jjb/scripts/setup_vpp_dpdk_dev_env.sh b/jjb/scripts/setup_vpp_dpdk_dev_env.sh index 087e535d9..f761441b5 100644 --- a/jjb/scripts/setup_vpp_dpdk_dev_env.sh +++ b/jjb/scripts/setup_vpp_dpdk_dev_env.sh @@ -20,7 +20,7 @@ function setup { echo "Deleting: /etc/apt/sources.list.d/99fd.io.list" sudo rm /etc/apt/sources.list.d/99fd.io.list fi - + sudo apt-get update -qq || true sudo apt-get -y --force-yes install vpp-dpdk-dev || true sudo apt-get -y --force-yes install vpp-dpdk-dkms || true sudo apt-get -y --force-yes install vpp-ext-deps || true |