Index: tools/run-tests.py |
diff --git a/tools/run-tests.py b/tools/run-tests.py |
index cb64b45b0ce74b8582cd936d1f10792bf060e55a..60ed459047e61d5e1b5edd5fa98a70192e1589d5 100755 |
--- a/tools/run-tests.py |
+++ b/tools/run-tests.py |
@@ -145,6 +145,10 @@ def BuildOptions(): |
default=False, action="store_true") |
result.add_option("--warn-unused", help="Report unused rules", |
default=False, action="store_true") |
+ result.add_option("--junitout", help="File name of the JUnit output") |
+ result.add_option("--junittestsuite", |
+ help="The testsuite name in the JUnit output file", |
+ default="v8tests") |
return result |
@@ -332,6 +336,9 @@ def Execute(arch, mode, args, options, suites, workspace): |
try: |
start_time = time.time() |
progress_indicator = progress.PROGRESS_INDICATORS[options.progress]() |
+ if options.junitout: |
+ progress_indicator = progress.JUnitTestProgressIndicator( |
+ progress_indicator, options.junitout, options.junittestsuite) |
run_networked = not options.no_network |
if not run_networked: |