Skip to content

Always set --target when sanitizer is used#17

Merged
RalfJung merged 1 commit intoRalfJung:masterfrom Jules-Bertholet:sanitizer-targetMay 1, 2023
+15-3

Commits

Commits on Apr 30, 2023