set UBSAN_OPTIONS

diff --git a/.circleci/config.yml b/.circleci/config.yml
index fcc01445b718425f089f0a21cd126466ef4074af..f5acc1491d48f230a0dc67f25e931e4c6f980462 100644 (file)
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -1131,6 +1131,8 @@ jobs:
   build-dnsdist:
     docker:
       - image: debian:buster
+        environment:
+          UBSAN_OPTIONS: 'print_stacktrace=1:halt_on_error=1'
     steps:
       - restore-cache-ccache:
           product: dnsdist
@@ -1207,6 +1209,8 @@ jobs:
   test-dnsdist-regression:
     docker:
       - image: debian:buster
+        environment:
+          UBSAN_OPTIONS: 'print_stacktrace=1:halt_on_error=1'
     steps:
       - install-dnsdist-deps
       - checkout-shallow