aboutsummaryrefslogtreecommitdiffstats
path: root/tools/setup.sh
diff options
context:
space:
mode:
authorVictor Morales <victor.morales@intel.com>2018-04-03 10:39:21 -0700
committerVictor Morales <victor.morales@intel.com>2018-04-03 10:39:21 -0700
commitf3ea32005aafd12f539e476315e8936e802e4c52 (patch)
tree282579e09cadac36da69820ad30647017dfe20a1 /tools/setup.sh
parent294a3567d7363e2cac4cb6be8cb5aac7b7b9d1f0 (diff)
Revert Default vagrant provider
Vagrant client has changed the DEFAULT_SERVER_URL string type for a constant[1]. This change is available since v2.0.3 and causes an error in those clients so it's necessary to revert the change I069eae9370ecdf1483098528cee57d9b3e81a41b which modifies that value. [1] https://github.com/hashicorp/vagrant/commit/f2bf18e56be36ed4bfbfe42fe20ab9147910ab3f Change-Id: I153a7adb9322244c34a55dd884cb75e158dfd54d Signed-off-by: Victor Morales <victor.morales@intel.com> Issue-ID: INT-434
Diffstat (limited to 'tools/setup.sh')
-rwxr-xr-xtools/setup.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/setup.sh b/tools/setup.sh
index fe3a3fc..565e989 100755
--- a/tools/setup.sh
+++ b/tools/setup.sh
@@ -8,7 +8,7 @@
# http://www.apache.org/licenses/LICENSE-2.0
##############################################################################
-vagrant_version=2.0.2
+vagrant_version=2.0.3
function usage {
cat <<EOF