diff options
| author | Darren Tucker <dtucker@dtucker.net> | 2019-07-18 11:09:38 +1000 |
|---|---|---|
| committer | Darren Tucker <dtucker@dtucker.net> | 2019-07-18 11:09:38 +1000 |
| commit | a192021fedead23c375077f92346336d531f8cad (patch) | |
| tree | 1f193999f987b637985e7464a18054525d356599 /mdoc2man.awk | |
| parent | d1c491ecb939ee10b341fa7bb6205dff19d297e5 (diff) | |
Fail tests if Valgrind enabled and reports errors.
Also dump the failing valgrind report to stdout (not the cleanest
solution, but better than nothing).
Diffstat (limited to 'mdoc2man.awk')
0 files changed, 0 insertions, 0 deletions