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