Index: tools/run-tests.py |
diff --git a/tools/run-tests.py b/tools/run-tests.py |
index 66d1677aa11730a1176217e944312afc2cd82a06..0589bb697c5fe5b5d5b0ff615cc18184fdca41fc 100755 |
--- a/tools/run-tests.py |
+++ b/tools/run-tests.py |
@@ -257,6 +257,9 @@ def BuildOptions(): |
default="v8tests") |
result.add_option("--random-seed", default=0, dest="random_seed", |
help="Default seed for initializing random generator") |
+ result.add_option("--msan", |
+ help="Regard test expectations for MSAN", |
+ default=False, action="store_true") |
return result |