Move vagrant stuff to extras/

Change-Id: I7e3d6ecc3f23d862004c273e23e36e234ceb6015
Signed-off-by: Damjan Marion <damarion@cisco.com>

12 files changed, 3 insertions, 2 deletions

diff --git a/README.md b/README.md
index b70103fb..7f429d12 100644
--- a/README.md
+++ b/README.md
@@ -67,7 +67,7 @@ To install system dependencies, build VPP and then install it, simply run the
 build script. This should be performed a non-privileged user with `sudo`
 access from the project base directory:
 
-    ./build-root/vagrant/build.sh
+    ./extras/vagrant/build.sh
 
 If you want a more fine-grained approach because you intend to do some
 development work, the `Makefile` in the root directory of the source tree
@@ -79,7 +79,7 @@ interest. To see the available targets run:
 
 ### Quick-start: Vagrant
 
-The directory `build-root/vagrant` contains a `VagrantFile` and supporting
+The directory `extras/vagrant` contains a `VagrantFile` and supporting
 scripts to bootstrap a working VPP inside a Vagrant-managed Virtual Machine.
 This VM can then be used to test concepts with VPP or as a development
 platform to extend VPP. Some obvious caveats apply when using a VM for VPP
diff --git a/build-root/vagrant b/build-root/vagrant
new file mode 120000
index 00000000..ada25b83
--- /dev/null
+++ b/build-root/vagrant
@@ -0,0 +1 @@
+../extras/vagrant
\ No newline at end of file
diff --git a/build-root/vagrant/.gitignore b/extras/vagrant/.gitignore
index a977916f..a977916f 100644
--- a/build-root/vagrant/.gitignore
+++ b/extras/vagrant/.gitignore
diff --git a/build-root/vagrant/README b/extras/vagrant/README
index 238c90ce..238c90ce 100644
--- a/build-root/vagrant/README
+++ b/extras/vagrant/README
diff --git a/build-root/vagrant/Vagrantfile b/extras/vagrant/Vagrantfile
index b463d646..b463d646 100644
--- a/build-root/vagrant/Vagrantfile
+++ b/extras/vagrant/Vagrantfile
diff --git a/build-root/vagrant/WELCOME b/extras/vagrant/WELCOME
index eb6aa2fd..eb6aa2fd 100644
--- a/build-root/vagrant/WELCOME
+++ b/extras/vagrant/WELCOME
diff --git a/build-root/vagrant/build.sh b/extras/vagrant/build.sh
index 76838e28..76838e28 100755
--- a/build-root/vagrant/build.sh
+++ b/extras/vagrant/build.sh
diff --git a/build-root/vagrant/clearinterfaces.sh b/extras/vagrant/clearinterfaces.sh
index 78f6705c..78f6705c 100755
--- a/build-root/vagrant/clearinterfaces.sh
+++ b/extras/vagrant/clearinterfaces.sh
diff --git a/build-root/vagrant/env.sh b/extras/vagrant/env.sh
index f0edfd88..f0edfd88 100644
--- a/build-root/vagrant/env.sh
+++ b/extras/vagrant/env.sh
diff --git a/build-root/vagrant/install.sh b/extras/vagrant/install.sh
index a53faa4d..a53faa4d 100644
--- a/build-root/vagrant/install.sh
+++ b/extras/vagrant/install.sh
diff --git a/build-root/vagrant/run.sh b/extras/vagrant/run.sh
index 1cd33826..1cd33826 100755
--- a/build-root/vagrant/run.sh
+++ b/extras/vagrant/run.sh
diff --git a/build-root/vagrant/update.sh b/extras/vagrant/update.sh
index f4139d74..f4139d74 100755
--- a/build-root/vagrant/update.sh
+++ b/extras/vagrant/update.sh