diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2020-09-18 15:35:01 +0000 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2020-09-21 06:59:48 +0000 |
| commit | bc35f469c89daf0126937580b6972516b5007d3a (patch) | |
| tree | 0ea80710fa6e42354bc863c02fd62ad8ccdd4aaa /extras/vagrant/run.sh | |
| parent | 7360e3d78d6a84eff1562aaca0f7a6ee6958ce9c (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-x | extras/vagrant/run.sh | 6 |
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 |