diff options
author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2018-08-30 22:33:52 +0100 |
---|---|---|
committer | Anders Broman <a.broman58@gmail.com> | 2018-08-31 05:52:43 +0000 |
commit | fd103ed417e4f54f12f3bfceb223da13a722cfe7 (patch) | |
tree | ccec9e9f2d351c0eba28fc2e75e27b95ffc62be1 /vagrant_build.sh | |
parent | a1fe8fe0661ebacb8f51a2ae7e7d6ecfcd8db1a8 (diff) |
vagrant: Enable ccache
Change-Id: Ifcf24a7ad2a1745f67838ee76a8a49e51049fc3a
Reviewed-on: https://code.wireshark.org/review/29359
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 b7c67a4bd8..72cd19e658 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 /vagrant/ +cmake -DENABLE_CCACHE=ON /vagrant/ make -j6 make test |