diff --git a/developer/compile.sh b/developer/compile.sh index 685422b5..98c6b159 100755 --- a/developer/compile.sh +++ b/developer/compile.sh @@ -2,9 +2,9 @@ set -e if [ $# -eq 0 ]; then - make DEBUG=1 DEVELOPMENT=1 STRICT=1 -j + make DEBUG=1 DEVELOPMENT=1 STRICT=1 ASAN=1 -j else - make DEBUG=1 DEVELOPMENT=1 -j + make DEBUG=1 DEVELOPMENT=1 ASAN=1 -j fi # find file diff --git a/developer/network.sh b/developer/network.sh index 0cd2d88f..b1829b44 100755 --- a/developer/network.sh +++ b/developer/network.sh @@ -2,9 +2,9 @@ set -e if [ $# -eq 0 ]; then - make DEBUG=1 DEVELOPMENT=1 STRICT=1 -j + make DEBUG=1 DEVELOPMENT=1 STRICT=1 ASAN=1 -j else - make DEBUG=1 DEVELOPMENT=1 -j + make DEBUG=1 DEVELOPMENT=1 ASAN=1 -j fi # find file