From b35bfb1143b82c17a67d88d5d7f708372e0650f3 Mon Sep 17 00:00:00 2001 From: Ed Warnicke Date: Wed, 8 Nov 2017 16:04:38 -0700 Subject: Fix capitalization issue in OS_ID for ubuntu Change-Id: Iddf8db64e0fddd470e5ce352b35cd6b4023fcf1c Signed-off-by: Ed Warnicke --- jjb/scripts/setup_vpp_dpdk_dev_env.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'jjb') diff --git a/jjb/scripts/setup_vpp_dpdk_dev_env.sh b/jjb/scripts/setup_vpp_dpdk_dev_env.sh index 3d337efcc..e16b11c37 100644 --- a/jjb/scripts/setup_vpp_dpdk_dev_env.sh +++ b/jjb/scripts/setup_vpp_dpdk_dev_env.sh @@ -10,7 +10,7 @@ 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 [ "$OS_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 -- cgit 1.2.3-korg