Better detection of data races in the TSan CI

ocaml-multicore · Jan 16, 2024 · 8536a4d · 8536a4d
1 parent 19dce00
commit 8536a4d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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