summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbuild.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/build.sh b/build.sh
index fc5c84f8d..b3a0e26b0 100755
--- a/build.sh
+++ b/build.sh
@@ -19,6 +19,12 @@ elif [[ "${CMD}" == "old" ]]; then
make install
cd src/evol
./build.sh old
+elif [[ "${CMD}" == "valgrind" ]]; then
+ ./configure --disable-lto --enable-packetver=20150000 --enable-debug=gdb --enable-manager=no
+ make -j3
+ make install
+ cd src/evol
+ ./build.sh old
elif [[ "${CMD}" == "server" ]]; then
./configure --enable-sanitize --disable-lto --enable-packetver=20150000 --enable-debug=gdb
make -j3