diff options
| author | Carl Hetherington <cth@carlh.net> | 2020-06-16 08:17:43 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2020-06-16 08:17:43 +0200 |
| commit | b42a61e993a731a7dda13561fc13de337a98d149 (patch) | |
| tree | 2266a243d3edb44bc8a8ff84fc7ed2124f900cd8 /run | |
| parent | bdabbf564d513aa12e8d49ea8ec0b8c8723ad6e9 (diff) | |
fixup! Try adding --xml option to run/tests.
Diffstat (limited to 'run')
| -rwxr-xr-x | run/tests | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -27,6 +27,7 @@ elif [ "$1" == "--helgrind" ]; then shift; valgrind --tool="helgrind" build/test/unit-tests $* elif [ "$1" == "--xml" ]; then + shift; build/test/unit-tests --catch_system_errors=no --log_format=XML --log_sink=results.xml --log_level=all --report_level=no --result_code=no else ulimit -c unlimited |
