try to get the sanitizer display the stacktrace of issues

diff --git a/tools/jenkins/Sanitizers.sh b/tools/jenkins/Sanitizers.sh
index 848eab2..f75e678 100755 (executable)
--- a/tools/jenkins/Sanitizers.sh
+++ b/tools/jenkins/Sanitizers.sh
@@ -64,6 +64,7 @@ fi
 make clean
 
 export TSAN_OPTIONS="memory_limit_mb=1500"
 make clean
 
 export TSAN_OPTIONS="memory_limit_mb=1500"

+export UBSAN_OPTIONS="print_stacktrace=1"

 
 ctest -D ExperimentalStart || true
 
 
 ctest -D ExperimentalStart || true