diff options
| author | Robert Norton | 2017-07-19 14:05:04 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-07-19 14:05:04 +0100 |
| commit | d8969b1f9631dc15d5fb6b3b33a4a69dbfb7358a (patch) | |
| tree | 1ca0c42cfd1c8fecc35913bae71a4a25c953985d /src/test/lib/Makefile | |
| parent | 7c9184d1bb7a09fbcf864cf8c4a9b37f463a9d1d (diff) | |
borrow some of aa's bash code to convert library test suite output to junit xml for jenkins.
Diffstat (limited to 'src/test/lib/Makefile')
| -rw-r--r-- | src/test/lib/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
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) && \ |