Move vagrant stuff to extras/

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

diff --git a/README.md b/README.md
index b70103f..7f429d1 100644 (file)
--- 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 (symlink)
index 0000000..ada25b8
--- /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
similarity index 100%
rename from build-root/vagrant/.gitignore
rename to extras/vagrant/.gitignore

diff --git a/build-root/vagrant/README b/extras/vagrant/README
similarity index 100%
rename from build-root/vagrant/README
rename to extras/vagrant/README

diff --git a/build-root/vagrant/Vagrantfile b/extras/vagrant/Vagrantfile
similarity index 100%
rename from build-root/vagrant/Vagrantfile
rename to extras/vagrant/Vagrantfile

diff --git a/build-root/vagrant/WELCOME b/extras/vagrant/WELCOME
similarity index 100%
rename from build-root/vagrant/WELCOME
rename to extras/vagrant/WELCOME

diff --git a/build-root/vagrant/build.sh b/extras/vagrant/build.sh
similarity index 100%
rename from build-root/vagrant/build.sh
rename to extras/vagrant/build.sh

diff --git a/build-root/vagrant/clearinterfaces.sh b/extras/vagrant/clearinterfaces.sh
similarity index 100%
rename from build-root/vagrant/clearinterfaces.sh
rename to extras/vagrant/clearinterfaces.sh

diff --git a/build-root/vagrant/env.sh b/extras/vagrant/env.sh
similarity index 100%
rename from build-root/vagrant/env.sh
rename to extras/vagrant/env.sh

diff --git a/build-root/vagrant/install.sh b/extras/vagrant/install.sh
similarity index 100%
rename from build-root/vagrant/install.sh
rename to extras/vagrant/install.sh

diff --git a/build-root/vagrant/run.sh b/extras/vagrant/run.sh
similarity index 100%
rename from build-root/vagrant/run.sh
rename to extras/vagrant/run.sh

diff --git a/build-root/vagrant/update.sh b/extras/vagrant/update.sh
similarity index 100%
rename from build-root/vagrant/update.sh
rename to extras/vagrant/update.sh