diff options
Diffstat (limited to 'test/end-to-end/execution-service/tree_inputs.sh')
| -rwxr-xr-x | test/end-to-end/execution-service/tree_inputs.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/end-to-end/execution-service/tree_inputs.sh b/test/end-to-end/execution-service/tree_inputs.sh index f6491f50..f8780bfb 100755 --- a/test/end-to-end/execution-service/tree_inputs.sh +++ b/test/end-to-end/execution-service/tree_inputs.sh @@ -40,7 +40,8 @@ EOF REMOTE_EXECUTION_ARGS="-r ${REMOTE_EXECUTION_ADDRESS}" if [ "${REMOTE_EXECUTION_PROPERTIES:-}" != "" ]; then - REMOTE_EXECUTION_ARGS="${REMOTE_EXECUTION_ARGS} --remote-execution-property ${REMOTE_EXECUTION_PROPERTIES}" + REMOTE_EXECUTION_PROPS="$(printf " --remote-execution-property %s" ${REMOTE_EXECUTION_PROPERTIES})" + REMOTE_EXECUTION_ARGS="${REMOTE_EXECUTION_ARGS} ${REMOTE_EXECUTION_PROPS}" fi if [ -n "${COMPATIBLE:-}" ]; then REMOTE_EXECUTION_ARGS="${REMOTE_EXECUTION_ARGS} --compatible" |