summaryrefslogtreecommitdiff
path: root/run
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2020-06-11 21:29:41 +0200
committerCarl Hetherington <cth@carlh.net>2020-06-16 08:14:06 +0200
commitbdabbf564d513aa12e8d49ea8ec0b8c8723ad6e9 (patch)
tree5408b266e9888217b937ce89274b14027f3e008b /run
parent30e262f486c8390b7c9a1a797471082f90adf61b (diff)
Try adding --xml option to run/tests.
Diffstat (limited to 'run')
-rwxr-xr-xrun/tests2
1 files changed, 2 insertions, 0 deletions
diff --git a/run/tests b/run/tests
index d6a3ba15f..b243efccb 100755
--- a/run/tests
+++ b/run/tests
@@ -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 $*