summaryrefslogtreecommitdiffstats
path: root/extras/vagrant/run.sh
diff options
context:
space:
mode:
authorDave Wallace <dwallacelf@gmail.com>2020-09-18 15:35:01 +0000
committerDamjan Marion <dmarion@me.com>2020-09-21 06:59:48 +0000
commitbc35f469c89daf0126937580b6972516b5007d3a (patch)
tree0ea80710fa6e42354bc863c02fd62ad8ccdd4aaa /extras/vagrant/run.sh
parent7360e3d78d6a84eff1562aaca0f7a6ee6958ce9c (diff)
build: remove opensuse build infra
- VPP on opensuse has not been supported for several releases. Type: fix Signed-off-by: Dave Wallace <dwallacelf@gmail.com> Change-Id: I2b5316ad5c20a843b8936f4ceb473f932a5338d9
Diffstat (limited to 'extras/vagrant/run.sh')
-rwxr-xr-xextras/vagrant/run.sh6
1 files changed, 3 insertions, 3 deletions
diff --git a/extras/vagrant/run.sh b/extras/vagrant/run.sh
index 61c9261fe2f..3e87e259442 100755
--- a/extras/vagrant/run.sh
+++ b/extras/vagrant/run.sh
@@ -1,16 +1,16 @@
#!/bin/bash
# Figure out what system we are running on
-if [ "$(uname)" <> "Darwin" ]; then
+if [ "$(uname)" <> "Darwin" ] ; then
OS_ID=$(grep '^ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g')
OS_VERSION_ID=$(grep '^VERSION_ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g')
fi
-if [ "$OS_ID" == "ubuntu" ]; then
+if [ "$OS_ID" == "ubuntu" ] ; then
$OS_CODENAME=$UBUNTU_CODENAME
fi
-if [ "$OS_ID" == "centos" ] || [ "$OS_ID" == "opensuse" ]; then
+if [ "$OS_ID" == "centos" ] ; then
# Install uio-pci-generic
sudo -E modprobe uio_pci_generic
fi