| Index: tools/run-tests.py
|
| diff --git a/tools/run-tests.py b/tools/run-tests.py
|
| index 91c6c3bc5ef49f28bc207b48ff1ddd3ed1e76b12..42285a2ba69b9c149a9b2c9eef4e01e26c8d231d 100755
|
| --- a/tools/run-tests.py
|
| +++ b/tools/run-tests.py
|
| @@ -224,6 +224,9 @@ def BuildOptions():
|
| result.add_option("--gc-stress",
|
| help="Switch on GC stress mode",
|
| default=False, action="store_true")
|
| + result.add_option("--gcov-coverage",
|
| + help="Uses executables instrumented for gcov coverage",
|
| + default=False, action="store_true")
|
| result.add_option("--command-prefix",
|
| help="Prepended to each shell command used to run a test",
|
| default="")
|
| @@ -688,6 +691,7 @@ def Execute(arch, mode, args, options, suites):
|
| "asan": options.asan,
|
| "deopt_fuzzer": False,
|
| "gc_stress": options.gc_stress,
|
| + "gcov_coverage": options.gcov_coverage,
|
| "ignition": options.ignition,
|
| "isolates": options.isolates,
|
| "mode": MODES[mode]["status_mode"],
|
|
|