From d8969b1f9631dc15d5fb6b3b33a4a69dbfb7358a Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 19 Jul 2017 14:05:04 +0100
Subject: borrow some of aa's bash code to convert library test suite output to
  junit xml for jenkins.

---
 src/test/lib/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/test/lib/Makefile')

diff --git a/src/test/lib/Makefile b/src/test/lib/Makefile
index 2c4036f7..35b65419 100644
--- a/src/test/lib/Makefile
+++ b/src/test/lib/Makefile
@@ -25,7 +25,8 @@ ocaml: | $(BUILD_DIR)
 	cd $(BUILD_DIR) && \
 	$(SAIL) -ocaml test_lib.sail -o test && \
 	ocamlopt -I $(ZARITH_DIR) $(ZARITH_LIB) sail_values.ml test.ml run_test_embed.ml -o test_embed.native && \
-	./test_embed.native
+	./test_embed.native > test_embed.out && \
+	../test_to_junit.sh < test_embed.out
 
 interp: | $(BUILD_DIR)
 	cp test_lib.sail $(BUILD_DIR) && \
-- 
cgit v1.2.3