| 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:
|
|
|