From 0bf886477519f3b4c46560277cfc59344358b967 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C4=99drzej=20Nowak?= <mail@jedrzejnowak.pl>
Date: Mon, 21 Sep 2015 08:25:59 +0200
Subject: [PATCH] paravirt from config for master

---
 Vagrantfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index bb299882..55656f83 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -71,9 +71,11 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
         "modifyvm", :id,
         "--memory", MASTER_RAM,
         "--cpus", MASTER_CPUS,
-        "--paravirtprovider", "kvm", # for linux guest
         "--ioapic", "on",
       ]
+      if PARAVIRT_PROVIDER
+        v.customize ['modifyvm', :id, "--paravirtprovider", PARAVIRT_PROVIDER] # for linux guest
+      end
       v.name = "solar-dev"
     end