diff options
Diffstat (limited to 'testsuite/mk/test.mk')
| -rw-r--r-- | testsuite/mk/test.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/mk/test.mk b/testsuite/mk/test.mk index 6c3963679d..a21c4bb16b 100644 --- a/testsuite/mk/test.mk +++ b/testsuite/mk/test.mk @@ -246,6 +246,10 @@ RUNTEST_OPTS += \ RUNTEST_OPTS += -e "config.stage=$(GhcStage)" +ifneq "$(JUNIT_FILE)" "" +RUNTEST_OPTS += \ + --junit "$(JUNIT_FILE)" +endif ifneq "$(SUMMARY_FILE)" "" RUNTEST_OPTS += \ --summary-file "$(SUMMARY_FILE)" |