diff options
author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2018-08-30 23:11:02 +0100 |
---|---|---|
committer | Anders Broman <a.broman58@gmail.com> | 2018-08-31 05:53:13 +0000 |
commit | 65a95123ced5ca603e22c70b9737ac7968e4d98f (patch) | |
tree | 65ddfb901864822eedc787a3f41a9194bd57a6f7 /vagrant_build.sh | |
parent | 4d6c253ca92c91dafff6f5ad23f94d7e32b8f125 (diff) |
vagrant: Mount synced folder under home
Change-Id: Ib533f762f110d45d3daae6b5ccb6e3d243f60058
Reviewed-on: https://code.wireshark.org/review/29361
Reviewed-by: Anders Broman <a.broman58@gmail.com>
Diffstat (limited to 'vagrant_build.sh')
-rw-r--r-- | vagrant_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vagrant_build.sh b/vagrant_build.sh index 72cd19e658..cde42e2d79 100644 --- a/vagrant_build.sh +++ b/vagrant_build.sh @@ -14,6 +14,6 @@ grep -q WIRESHARK_RUN_FROM_BUILD_DIRECTORY ~/.profile || echo "export WIRESHARK_ grep -q WIRESHARK_BIN_DIR ~/.profile || echo "export WIRESHARK_BIN_DIR=~/build/run" >> ~/.profile mkdir -p build cd build -cmake -DENABLE_CCACHE=ON /vagrant/ +cmake -DENABLE_CCACHE=ON ../wireshark make -j6 make test |