From 5b9135ff6f20e7d8a5b14b2b08fe529964ed4a06 Mon Sep 17 00:00:00 2001
From: Bryan Boreham <bryan@weave.works>
Date: Wed, 23 Dec 2015 16:03:32 +0000
Subject: [PATCH] Add default value of blank to VAGRANT_DEFAULT_PROVIDER when
 no provider found

---
 cluster/vagrant/util.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cluster/vagrant/util.sh b/cluster/vagrant/util.sh
index 875fa2a2cd7..916447231d0 100755
--- a/cluster/vagrant/util.sh
+++ b/cluster/vagrant/util.sh
@@ -82,7 +82,7 @@ function verify-prereqs {
   done
 
   if [ -z "${provider_found}" ]; then
-    if [ -n "${VAGRANT_DEFAULT_PROVIDER}" ]; then
+    if [ -n "${VAGRANT_DEFAULT_PROVIDER:-}" ]; then
       echo "Can't find the necessary components for the ${VAGRANT_DEFAULT_PROVIDER} vagrant provider."
       echo "Possible reasons could be: "
       echo -e "\t- vmrun utility is not in your path"