From 8536a4d021d3c3efd960688bb223de843d9c72c6 Mon Sep 17 00:00:00 2001 From: Olivier Nicole Date: Thu, 9 Nov 2023 16:36:26 +0100 Subject: [PATCH] Better detection of data races in the TSan CI --- .github/workflows/build.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index df170b279e..869fed2f1b 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -55,7 +55,7 @@ jobs: '${{ github.event.repository.full_name }}' - name: Configure tree run: | - MAKE_ARG=-j CONFIG_ARG='--enable-cmm-invariants --enable-dependency-generation --enable-native-toplevel --enable-tsan --enable-ocamltest' OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh configure + MAKE_ARG=-j CONFIG_ARG='--enable-cmm-invariants --enable-dependency-generation --enable-native-toplevel --enable-tsan --enable-ocamltest CFLAGS=-DTSAN_INSTRUMENT_ALL' OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh configure - name: Build run: | MAKE_ARG=-j bash -xe tools/ci/actions/runner.sh build @@ -152,7 +152,7 @@ jobs: config_arg: CFLAGS='-O0' - name: macos os: macos-latest - config_arg: --enable-tsan + config_arg: --enable-tsan CFLAGS=-DTSAN_INSTRUMENT_ALL steps: - name: Checkout uses: actions/checkout@v3