Merge pull request #1037 from ibell/patch-1

Bump default ubuntu distro in builds to 18.04

(cherry picked from commit ec8f14da1c)
This commit is contained in:
Robin Dunn
2018-10-24 19:25:18 -07:00
parent b8a922ef46
commit 4fc5e8050b

View File

@@ -50,9 +50,9 @@ release or the snapshots server can be used. With that file in place then a
build for a specific distro can be done with just a few vagrant commands, for
example::
cd vagrant/ubuntu-16.04
cd vagrant/ubuntu-18.04
vagrant up
vagrant ssh -c "scripts/build.sh ubuntu-16.04"
vagrant ssh -c "scripts/build.sh ubuntu-18.04"
vagrant halt
Please note that currently this will do up to 8 complete builds, one for each