diff options
| -rw-r--r-- | test/end-to-end/remote-execution/TARGETS | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/test/end-to-end/remote-execution/TARGETS b/test/end-to-end/remote-execution/TARGETS index 3c530fb4..4d88210a 100644 --- a/test/end-to-end/remote-execution/TARGETS +++ b/test/end-to-end/remote-execution/TARGETS @@ -41,12 +41,23 @@ , "test": ["dispatch.sh"] , "deps": [["end-to-end", "tool-under-test"]] } -, "split-splice": +, "split-splice (raw)": { "type": ["end-to-end", "with remote"] , "name": ["split-splice"] , "test": ["split-splice.sh"] , "deps": [["end-to-end", "tool-under-test"]] } +, "split-splice": + { "type": "configure" + , "tainted": ["test"] + , "target": "split-splice (raw)" + , "arguments_config": ["TIMEOUT_SCALE"] + , "config": + { "type": "singleton_map" + , "key": "TIMEOUT_SCALE" + , "value": {"type": "var", "name": "TIMEOUT_SCALE", "default": 10} + } + } , "TESTS": { "type": "install" , "tainted": ["test"] |