diff options
Diffstat (limited to 'tasks/jenkins')
| -rw-r--r-- | tasks/jenkins | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tasks/jenkins b/tasks/jenkins index 5598a9e..d763377 100644 --- a/tasks/jenkins +++ b/tasks/jenkins @@ -10,7 +10,7 @@ function task_setup() { # Available environment variables # $ASSET_DIR # $TOOL_DIR - + SSH_USER=server SSH_IDENTITY_FILE=$ASSET_DIR/id_jenkins |