aboutsummaryrefslogtreecommitdiffstats
path: root/build-root/vagrant
diff options
context:
space:
mode:
Diffstat (limited to 'build-root/vagrant')
-rw-r--r--build-root/vagrant/bootstrap.ubuntu1404.sh4
1 files changed, 3 insertions, 1 deletions
diff --git a/build-root/vagrant/bootstrap.ubuntu1404.sh b/build-root/vagrant/bootstrap.ubuntu1404.sh
index 04f341a493f..35865faf8af 100644
--- a/build-root/vagrant/bootstrap.ubuntu1404.sh
+++ b/build-root/vagrant/bootstrap.ubuntu1404.sh
@@ -48,10 +48,12 @@ start hugepages
# Setup the vpp code
cd ~vagrant/
+
sudo -u vagrant mkdir git
cd git/
-# You will need to alter this line to reflect reality.
+# Check if git exists and remove it before attempting clone, else clone ineffective when "reload --provision"
+[ -d vpp ] && rm -rf vpp
sudo -H -u vagrant git clone /vpp
cd vpp/