diff options
author | Evan Huus <eapache@gmail.com> | 2015-06-24 19:05:38 -0700 |
---|---|---|
committer | Evan Huus <eapache@gmail.com> | 2015-06-25 02:53:40 +0000 |
commit | 5aaaa550fda8db0b06e438492d195b256fd02014 (patch) | |
tree | 2f8d6a8d99cae148f5047a8775356fcb4e795069 /vagrant_build.sh | |
parent | d1a81df8c04501c25d99cffd901dd4a289b0a05e (diff) |
Add basic Vagrant configuration
For non-linux developers this should somewhat simplify development with e.g.
valgrind and other useful tools.
Change-Id: I973ab7412ad9a61f0892c25c079ea3424208abd1
Reviewed-on: https://code.wireshark.org/review/9117
Reviewed-by: Evan Huus <eapache@gmail.com>
Diffstat (limited to 'vagrant_build.sh')
-rw-r--r-- | vagrant_build.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/vagrant_build.sh b/vagrant_build.sh new file mode 100644 index 0000000000..648ed3451b --- /dev/null +++ b/vagrant_build.sh @@ -0,0 +1,7 @@ +#!/bin/bash +set -e + +mkdir -p build +cd build +cmake /wireshark/ +make -j2 |