diff options
Diffstat (limited to 'jjb/scripts/vpp/debug-build.sh')
-rw-r--r-- | jjb/scripts/vpp/debug-build.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/jjb/scripts/vpp/debug-build.sh b/jjb/scripts/vpp/debug-build.sh index dba984f21..414a81169 100644 --- a/jjb/scripts/vpp/debug-build.sh +++ b/jjb/scripts/vpp/debug-build.sh @@ -30,7 +30,9 @@ echo "sha1sum of this script: ${0}" sha1sum $0 # run with ASAN on -export VPP_EXTRA_CMAKE_ARGS='-DVPP_ENABLE_SANITIZE_ADDR=ON' +# disable ASAN for now in the debug build - it's broken with PAPI +# in make test transitioning to unix sockets +# export VPP_EXTRA_CMAKE_ARGS='-DVPP_ENABLE_SANITIZE_ADDR=ON' make_build_test_debug() { if ! make UNATTENDED=yes install-dep ; then |