Index: tools/valgrind-webrtc/webrtc_tests.py |
diff --git a/tools/valgrind-webrtc/webrtc_tests.py b/tools/valgrind-webrtc/webrtc_tests.py |
index aacf49782a0ee330541fc77df49279abd79eba0b..3550b3aff5dfce61e61ceee3ad96519116dbf9d1 100755 |
--- a/tools/valgrind-webrtc/webrtc_tests.py |
+++ b/tools/valgrind-webrtc/webrtc_tests.py |
@@ -123,6 +123,8 @@ def main(_): |
help="run the tests with --test-launcher-total-shards") |
parser.add_option("--test-launcher-shard-index", type=int, |
help="run the tests with --test-launcher-shard-index") |
+ parser.add_option("--drmemory_ops", |
+ help="extra options passed to Dr. Memory") |
options, args = parser.parse_args() |
if options.verbose: |