diff options
| author | Carl Hetherington <cth@carlh.net> | 2020-06-11 21:29:41 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2020-06-16 08:14:06 +0200 |
| commit | bdabbf564d513aa12e8d49ea8ec0b8c8723ad6e9 (patch) | |
| tree | 5408b266e9888217b937ce89274b14027f3e008b /run | |
| parent | 30e262f486c8390b7c9a1a797471082f90adf61b (diff) | |
Try adding --xml option to run/tests.
Diffstat (limited to 'run')
| -rwxr-xr-x | run/tests | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -26,6 +26,8 @@ elif [ "$1" == "--drd" ]; then elif [ "$1" == "--helgrind" ]; then shift; valgrind --tool="helgrind" build/test/unit-tests $* +elif [ "$1" == "--xml" ]; then + 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 build/test/unit-tests --catch_system_errors=no --log_level=test_suite $* |
