diff options
| -rwxr-xr-x | bin/d-i_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/d-i_build.sh b/bin/d-i_build.sh index d6480f76..54a32489 100755 --- a/bin/d-i_build.sh +++ b/bin/d-i_build.sh @@ -55,7 +55,7 @@ preserve_artifacts() { if [ "$HOSTNAME" = "jenkins" ] ; then # FIXME this rsync should probably be in a separate job that the one on pb10 could then depend on -- otherwise race conditions seem to lurk - rsync -e "ssh -o 'Batchmode = yes' -r profitbricks-build10-amd64.debian.net:$PU_BRANCH_DIR/ $PU_BRANCH_DIR/ + rsync -e "ssh -o 'Batchmode = yes'" -r profitbricks-build10-amd64.debian.net:$PU_BRANCH_DIR/ $PU_BRANCH_DIR/ fi fi |