diff options
| author | jvoisin | 2023-08-31 16:10:47 +0200 |
|---|---|---|
| committer | jvoisin | 2023-08-31 16:10:47 +0200 |
| commit | 61010671ba72c8969a62c052b70e1697515c829e (patch) | |
| tree | 69173d2a507bc5e00e0369828e131b9225ae1122 /"" | |
| parent | 04bcdc64be3a998c801f426fd3e23ef9df01651d (diff) | |
Fix the flags for -fsanitize=undefined
Diffstat (limited to '""')
0 files changed, 0 insertions, 0 deletions