diff options
| author |   Ed Warnicke <eaw@cisco.com> | 2016-02-02 17:47:17 -0800 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@fd.io> | 2016-02-03 14:49:37 +0000 |
| commit | eeee9e2b1820ae1ca194ba0093d49519b66558f8 (patch) | |
| tree | 6f1e1cbe26bd3cbef25c985acfb3b9328f941b70 /build-root/deb | |
| parent | c28b4745911de6834a89343f40c35cafab59a706 (diff) | |
Switched vagrant for ~/git/vpp to /vpp
build-root/vagrant/Vagrantfile
was always mounting the vpp into /vpp
Now rather than cloning it and building,
we just use it as mounted.
In order to let folks know what happened,
a README.moved is copied into the ~/git/vpp
so folks know what happened.
In addition to make it easier for folks
to do commits from withing the vagrant,
we install git-review, and copy in the
users .gitconfig and .gnupg directory.
A couple of notes about this. VMWare goes much
much faster in all cases. Virtualbox is a
bit slower in the very first run (without ccache).
One of the benefits of using the mounted /vpp though
is that after your first vagrant up, you always
have access to the .ccache, as it lives
outside the vagrant, and so in steady state
everything is faster.
Change-Id: I2cd2c28181b3d7e664240dfe2249b5be3f1b9241
Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to 'build-root/deb')
0 files changed, 0 insertions, 0 deletions