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 b70103fb1fc..7f429d12b31 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 00000000000..ada25b83c14
--- /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 a977916f658..a977916f658 100644
--- a/build-root/vagrant/.gitignore
+++ b/extras/vagrant/.gitignore
diff --git a/build-root/vagrant/README b/extras/vagrant/README
index 238c90ce99c..238c90ce99c 100644
--- a/build-root/vagrant/README
+++ b/extras/vagrant/README
diff --git a/build-root/vagrant/Vagrantfile b/extras/vagrant/Vagrantfile
index b463d646092..b463d646092 100644
--- a/build-root/vagrant/Vagrantfile
+++ b/extras/vagrant/Vagrantfile
diff --git a/build-root/vagrant/WELCOME b/extras/vagrant/WELCOME
index eb6aa2fdebc..eb6aa2fdebc 100644
--- a/build-root/vagrant/WELCOME
+++ b/extras/vagrant/WELCOME
diff --git a/build-root/vagrant/build.sh b/extras/vagrant/build.sh
index 76838e28a62..76838e28a62 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 78f6705ca32..78f6705ca32 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 f0edfd884ed..f0edfd884ed 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 a53faa4dd73..a53faa4dd73 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 1cd3382640a..1cd3382640a 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 f4139d74c80..f4139d74c80 100755
--- a/build-root/vagrant/update.sh
+++ b/extras/vagrant/update.sh