From fe26b86207c29f446123f6ef3cad8b8a2764541e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Moise=CC=81s=20Guimara=CC=83es?= Date: Thu, 29 Jan 2015 12:17:08 -0300 Subject: [PATCH] fixes for vagrant scripts due to name changing: update name to wolfssl. add question before sync. --- Vagrantfile | 21 +++++++++++++++------ pull_to_vagrant.sh | 14 ++++++++------ 2 files changed, 23 insertions(+), 12 deletions(-) diff --git a/Vagrantfile b/Vagrantfile index 881547203..1fa594437 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -2,21 +2,30 @@ # vi: set ft=ruby : $setup = <