path: root/src/
diff options
authorStefan Schmidt <>2013-03-12 09:47:28 +0000
committerStefan Schmidt <>2013-03-12 09:59:06 +0000
commit85810dac8ccb94a1f46c17387e08bb75e16be08b (patch)
tree037020860ce2c6051eaa62342a36d1a192801cb8 /src/
parent05ba2f98f76a8dc55967eebf954ebad05cc075e8 (diff)
tests: Add xml output file for check runs for the use with jenkins.
We can do pretty graphs with jenkins about our unit tests. But we need the check xml output for that. Enabling it in all suites.
Diffstat (limited to 'src/')
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ b/src/
index d0e176db1a..a903eed962 100644
--- a/src/
+++ b/src/
@@ -96,3 +96,4 @@ install-examples:
96clean-local: 96clean-local:
97 find . -type f -name '*.gcno' -delete 97 find . -type f -name '*.gcno' -delete
98 find . -type f -name '*.gcda' -delete 98 find . -type f -name '*.gcda' -delete
99 find . -type f -name check-results.xml -delete