aboutsummaryrefslogtreecommitdiffstats
path: root/vagrant_build.sh
diff options
context:
space:
mode:
authorEvan Huus <eapache@gmail.com>2015-06-24 19:05:38 -0700
committerEvan Huus <eapache@gmail.com>2015-06-25 02:53:40 +0000
commit5aaaa550fda8db0b06e438492d195b256fd02014 (patch)
tree2f8d6a8d99cae148f5047a8775356fcb4e795069 /vagrant_build.sh
parentd1a81df8c04501c25d99cffd901dd4a289b0a05e (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.sh7
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