diff options
| author | fanquake <fanquake@gmail.com> | 2022-07-20 09:11:15 +0100 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2022-07-21 10:16:46 +0100 |
| commit | cc5b39e44ec2133df32e059bbe124e33c0a23401 (patch) | |
| tree | 5e8ad074b27f0875b0965349c0878971fb05cf5e /contrib/valgrind.supp | |
| parent | d1e42659bbdd8da170542d8c638242cd94f71a7d (diff) | |
ci: better pin to dwarf4 in valgrind job
Use `-gdwarf` and also set CFLAGS. I was seeing Valgrind issues otherwise.
Diffstat (limited to 'contrib/valgrind.supp')
0 files changed, 0 insertions, 0 deletions