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

chore: fix sandebug preset overriding sanitize options

Browse source
This commit is contained in:
Sebastian Ullrich 2025-04-06 19:05:20 +02:00 • committed by GitHub
parent 333f7573d7
commit 2c203ac681
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CMakePresets.json
View file

@ -39,7 +39,7 @@
},
{
"name": "sandebug",
"inherits": ["debug", "sanitize"],
"inherits": ["sanitize", "debug"],
"displayName": "Sanitize+debug build config",
"binaryDir": "${sourceDir}/build/sandebug"
}