diff options
| author | Gavin S | 2020-07-12 01:17:37 -0700 |
|---|---|---|
| committer | GitHub | 2020-07-12 01:17:37 -0700 |
| commit | b1c45652e51426ca8b489d7567291152d4930a22 (patch) | |
| tree | d3d4808957231b089a09e96dac9062f127c8368f /scripts/developBuild.py | |
| parent | b79a83e4aa6641a00c32b760456507b1745fc06e (diff) | |
| download | catch3-b1c45652e51426ca8b489d7567291152d4930a22.tar.gz | |
Update catch_reporter_tap.hpp
TAP format requires all results to be reported.
Removed extraneous preferences function (handled by parent)
Incorporated fix from 3d9e7db2e0fff8fc2edcf59d24351f3937e3ac62
Simplified total printing
Diffstat (limited to 'scripts/developBuild.py')
0 files changed, 0 insertions, 0 deletions