diff options
| author |   Marco Varlese <marco.varlese@suse.com> | 2017-10-06 15:07:08 +0200 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2017-10-09 02:41:01 +0000 |
| commit | c2e63feb6209ef504753fe2c975cf61b1c31b5cf (patch) | |
| tree | 3e7d73fd78cd195c8e5d7c43d4c51a1d8707e83e /extras/vagrant/Vagrantfile | |
| parent | e9aebf9db548b940c77f7c5826a1260d1931e75d (diff) | |
Allow use of /etc/os-release file
The top-level Makefile in VPP already uses the file /etc/os-release to
recognize which OS the build is being performed on.
The scripts for vagrant images instead were still using different files
for different distros and adding a new distro to be supported causes
issues with the extra-logic to deal with it.
This patch aligns the vagrant scripts to use the same approach followed
by the top-level Makefile and simplifies the steps to identify / update
the OS and build / run VPP.
Change-Id: I539f4a7c27b3fef70ed1c12b0276049bc47dc289
Signed-off-by: Marco Varlese <marco.varlese@suse.com>
Diffstat (limited to 'extras/vagrant/Vagrantfile')
| -rw-r--r-- | extras/vagrant/Vagrantfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extras/vagrant/Vagrantfile b/extras/vagrant/Vagrantfile index 714ba94c953..badaa979a43 100644 --- a/extras/vagrant/Vagrantfile +++ b/extras/vagrant/Vagrantfile @@ -9,6 +9,9 @@ Vagrant.configure(2) do |config| config.vm.box = "centos/7" config.vm.box_version = "1708.01" config.ssh.insert_key = false + elsif distro == 'opensuse' + config.vm.box = "opensuse/openSUSE-42.3-x86_64" + config.vm.box_version = "1.0.4.20170726" else config.vm.box = "puppetlabs/ubuntu-16.04-64-nocm" end |