diff options
Diffstat (limited to '.github/workflows/env.sh')
| -rwxr-xr-x | .github/workflows/env.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/env.sh b/.github/workflows/env.sh index 7be26e1a72..b4cdb3a8d9 100755 --- a/.github/workflows/env.sh +++ b/.github/workflows/env.sh @@ -23,7 +23,7 @@ TSAN_OPTIONS= case "$FLAVOR" in asan) CLANG_SANITIZER=ASAN_UBSAN - ASAN_OPTIONS="detect_leaks=1:check_initialization_order=1:log_path=$LOG_DIR/asan:intercept_tls_get_addr=0" + ASAN_OPTIONS="detect_leaks=1:check_initialization_order=1:handle_abort=1:handle_sigill=1:log_path=$LOG_DIR/asan:intercept_tls_get_addr=0" UBSAN_OPTIONS="print_stacktrace=1 log_path=$LOG_DIR/ubsan" ;; tsan) |