diff options
| -rw-r--r-- | test/TARGETS | 10 | ||||
| -rw-r--r-- | test/end-to-end/remote-execution/TARGETS | 5 |
2 files changed, 11 insertions, 4 deletions
diff --git a/test/TARGETS b/test/TARGETS index 96448e2d..fb3bf82b 100644 --- a/test/TARGETS +++ b/test/TARGETS @@ -66,10 +66,14 @@ { "type": "configure" , "tainted": ["test"] , "target": ["./", "bootstrap", "TESTS"] + , "arguments_config": ["TIMEOUT_SCALE"] , "config": - { "type": "let*" - , "bindings": [["TIMEOUT_SCALE", 40.0]] - , "body": {"type": "env", "vars": ["TIMEOUT_SCALE"]} + { "type": "singleton_map" + , "key": "TIMEOUT_SCALE" + , "value": + { "type": "*" + , "$1": [40, {"type": "var", "name": "TIMEOUT_SCALE", "default": 1.0}] + } } } , "test-deps-headers": diff --git a/test/end-to-end/remote-execution/TARGETS b/test/end-to-end/remote-execution/TARGETS index 727197b9..45dc50d5 100644 --- a/test/end-to-end/remote-execution/TARGETS +++ b/test/end-to-end/remote-execution/TARGETS @@ -61,7 +61,10 @@ , "config": { "type": "singleton_map" , "key": "TIMEOUT_SCALE" - , "value": {"type": "var", "name": "TIMEOUT_SCALE", "default": 10} + , "value": + { "type": "*" + , "$1": [10, {"type": "var", "name": "TIMEOUT_SCALE", "default": 1.0}] + } } } , "add-to-cas": |