diff options
| author | gingerBill <bill@gingerbill.org> | 2022-09-06 12:57:22 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2022-09-06 12:57:22 +0100 |
| commit | 4bdd2ff93cdede889d0db9dc0885dd852402ba8f (patch) | |
| tree | c2eef1ae246bf97ac252c616451306972cb26e0b /src/check_type.cpp | |
| parent | b1dafcfe6dcdb73224a5cf7af7e8d9af48b1fbd7 (diff) | |
Make valgrind calls a no-op on non-supported platforms rather than print an error
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions