X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/d7c469d94e088232d9be45a51ebf76f00f7e1921..5e5713b90f68f03f8f2332a3565ace5bb0003824:/Vagrantfile

diff --git a/Vagrantfile b/Vagrantfile
index 15d66e9e..b9d618e2 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -23,7 +23,16 @@ Vagrant.configure("2") do |config|
       end
   end
 
-  config.vm.define "centos" do |sub|
+  config.vm.define "travis" do |sub|
+      sub.vm.box = "bento/ubuntu-14.04"
+      sub.vm.provision :shell do |s|
+        s.path = "vagrant/install-on-travis-ci.sh"
+        s.privileged = false
+        s.args = [checkout]
+      end
+  end
+
+   config.vm.define "centos" do |sub|
       sub.vm.box = "bento/centos-7.2"
       sub.vm.provision :shell do |s|
         s.path = "vagrant/install-on-centos-7.sh"