diff options
author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2018-08-30 21:58:16 +0100 |
---|---|---|
committer | Anders Broman <a.broman58@gmail.com> | 2018-08-31 05:52:01 +0000 |
commit | f2c74b7dbd4201e355efe0221ce8a5a7228d7cea (patch) | |
tree | ca6c0d5dfcb1e6b398eb9ada73788494d9132870 /vagrant_build.sh | |
parent | ef013598494e8a6571d042bc73c2dab393934b2f (diff) |
vagrant: Run test suite
Change-Id: If4df6e98ec39b6517fd441d48b4a00c2ca2c43c6
Reviewed-on: https://code.wireshark.org/review/29358
Reviewed-by: Anders Broman <a.broman58@gmail.com>
Diffstat (limited to 'vagrant_build.sh')
-rw-r--r-- | vagrant_build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vagrant_build.sh b/vagrant_build.sh index 61c0dfed1d..b7c67a4bd8 100644 --- a/vagrant_build.sh +++ b/vagrant_build.sh @@ -16,3 +16,4 @@ mkdir -p build cd build cmake /vagrant/ make -j6 +make test |