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"], |