Make a RelWithDebInfo build when testing with ASAN in the CI

Traces should be more useful if we keep debug data in.
This commit is contained in:
Saúl Ibarra Corretgé 2024-09-10 22:19:36 +02:00 committed by GitHub
parent 7ad980704c
commit ada24f33f3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -106,10 +106,13 @@ jobs:
elif [ "${{ matrix.config.configType }}" = "shared" ]; then elif [ "${{ matrix.config.configType }}" = "shared" ]; then
echo "BUILD_SHARED_LIBS=ON" >> $GITHUB_ENV; echo "BUILD_SHARED_LIBS=ON" >> $GITHUB_ENV;
elif [ "${{ matrix.config.configType }}" = "asan" ]; then elif [ "${{ matrix.config.configType }}" = "asan" ]; then
echo "BUILD_TYPE=RelWithDebInfo" >> $GITHUB_ENV;
echo "CONFIG_ASAN=ON" >> $GITHUB_ENV; echo "CONFIG_ASAN=ON" >> $GITHUB_ENV;
elif [ "${{ matrix.config.configType }}" = "ubsan" ]; then elif [ "${{ matrix.config.configType }}" = "ubsan" ]; then
echo "BUILD_TYPE=RelWithDebInfo" >> $GITHUB_ENV;
echo "CONFIG_UBSAN=ON" >> $GITHUB_ENV; echo "CONFIG_UBSAN=ON" >> $GITHUB_ENV;
elif [ "${{ matrix.config.configType }}" = "msan" ]; then elif [ "${{ matrix.config.configType }}" = "msan" ]; then
echo "BUILD_TYPE=RelWithDebInfo" >> $GITHUB_ENV;
echo "CONFIG_MSAN=ON" >> $GITHUB_ENV; echo "CONFIG_MSAN=ON" >> $GITHUB_ENV;
echo "CC=clang" >> $GITHUB_ENV; echo "CC=clang" >> $GITHUB_ENV;
fi fi