diff options
author | Sake Blok <sake@euronet.nl> | 2018-03-18 23:09:11 +0100 |
---|---|---|
committer | Sake Blok <sake.blok@SYN-bit.nl> | 2018-03-19 22:22:55 +0000 |
commit | 10b63fa684905c9df389e2661a19360c91b19ed8 (patch) | |
tree | 5ac803214914cf977d8f718552286253eaad8ac6 /vagrant_build.sh | |
parent | acba1785460149b65a890a2b060ed87cf4e41102 (diff) |
Fix and update the vagrant build system
Fix a dependency issue for the vagrant build system and update
it to the latest Ubuntu LTS release (16.04 LTS). Also give it
more vCPU's and RAM by default.
Change-Id: I058e6a05356dba57a55ada7fe84f959e227a04b4
Reviewed-on: https://code.wireshark.org/review/26541
Reviewed-by: Sake Blok <sake.blok@SYN-bit.nl>
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 7fdf682c76..61c0dfed1d 100644 --- a/vagrant_build.sh +++ b/vagrant_build.sh @@ -15,4 +15,4 @@ grep -q WIRESHARK_BIN_DIR ~/.profile || echo "export WIRESHARK_BIN_DIR=~/build/r mkdir -p build cd build cmake /vagrant/ -make -j3 +make -j6 |