From b4a7a585747da559248f1857e11dd43713ae8f7b Mon Sep 17 00:00:00 2001 From: Peter van Dijk Date: Tue, 18 Jun 2019 11:37:00 +0200 Subject: [PATCH] set UBSAN_OPTIONS --- .circleci/config.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.circleci/config.yml b/.circleci/config.yml index fcc01445b..f5acc1491 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 -- 2.40.0