diff options
-rwxr-xr-x | build.sh | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -7,7 +7,13 @@ if [[ -z "${CMD}" ]]; then fi autoreconf -if [[ "${CMD}" == "default" ]]; then +if [[ "${CMD}" == "default" || "${CMD}" == "all" ]]; then + ./configure --enable-sanitize --disable-lto --enable-packetver=20150000 --enable-debug=gdb + make -j3 + make install + cd src/evol + ./build.sh +elif [[ "${CMD}" == "server" ]]; then ./configure --enable-sanitize --disable-lto --enable-packetver=20150000 --enable-debug=gdb make -j3 make install |