| Index: tools/run-tests.py
|
| diff --git a/tools/run-tests.py b/tools/run-tests.py
|
| index f6c07dc6c41092121ccfc2d71039edbb1e38ef42..152c9d32985fb406d443d4e2b1288c1a6009621f 100755
|
| --- a/tools/run-tests.py
|
| +++ b/tools/run-tests.py
|
| @@ -54,7 +54,13 @@ TIMEOUT_SCALEFACTOR = {"debug" : 4,
|
| "release" : 1 }
|
|
|
| # Use this to run several variants of the tests.
|
| -VARIANT_FLAGS = [[]]
|
| +
|
| +VARIANTS = ["default"]
|
| +
|
| +VARIANT_FLAGS = {
|
| + "default": []
|
| +}
|
| +
|
| MODE_FLAGS = {
|
| "debug" : ["--nobreak-on-abort", "--nodead-code-elimination",
|
| "--nofold-constants", "--enable-slow-asserts",
|
|
|