max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

Revert "chore: speed up sanitized build a bit"

Browse source 
This reverts commit d3115d8f58.

I didn't notice that we're not actually using a debug build for the sanitized build
This commit is contained in:
Sebastian Ullrich 2020-05-07 16:29:36 +02:00
parent 5d260c396f
commit 441ffadb29
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View file

@ -29,7 +29,7 @@ jobs:
# do one sanitized build of the stdlib
build-stage2: true
# turn off custom allocator to make LSAN do its magic
CMAKE_OPTIONS: -DLEAN_EXTRA_CXX_FLAGS="-fsanitize=address,undefined -O1" -DLEANC_EXTRA_FLAGS="-fsanitize=address,undefined -O1" -DSMALL_ALLOCATOR=OFF
CMAKE_OPTIONS: -DLEAN_EXTRA_CXX_FLAGS=-fsanitize=address,undefined -DLEANC_EXTRA_FLAGS=-fsanitize=address,undefined -DSMALL_ALLOCATOR=OFF
- name: Linux LLVM=ON
os: ubuntu-latest
CMAKE_OPTIONS: -DLLVM=ON