From: Peter van Dijk <peter.van.dijk@powerdns.com>
Date: Tue, 18 Jun 2019 09:37:00 +0000 (+0200)
Subject: set UBSAN_OPTIONS
X-Git-Tag: dnsdist-1.4.0-rc1~113^2
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b4a7a585747da559248f1857e11dd43713ae8f7b;p=thirdparty%2Fpdns.git

set UBSAN_OPTIONS
---

diff --git a/.circleci/config.yml b/.circleci/config.yml
index fcc01445b7..f5acc1491d 100644
--- 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