diff options
Diffstat (limited to 'test/end-to-end/remote-execution/TARGETS')
| -rw-r--r-- | test/end-to-end/remote-execution/TARGETS | 5 |
1 files changed, 4 insertions, 1 deletions
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": |