summaryrefslogtreecommitdiff
path: root/run
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2020-06-16 08:17:43 +0200
committerCarl Hetherington <cth@carlh.net>2020-06-16 08:17:43 +0200
commitb42a61e993a731a7dda13561fc13de337a98d149 (patch)
tree2266a243d3edb44bc8a8ff84fc7ed2124f900cd8 /run
parentbdabbf564d513aa12e8d49ea8ec0b8c8723ad6e9 (diff)
fixup! Try adding --xml option to run/tests.
Diffstat (limited to 'run')
-rwxr-xr-xrun/tests1
1 files changed, 1 insertions, 0 deletions
diff --git a/run/tests b/run/tests
index b243efccb..f143514d4 100755
--- a/run/tests
+++ b/run/tests
@@ -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