diff options
Diffstat (limited to 'bin/d-i_build.sh')
| -rwxr-xr-x | bin/d-i_build.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/d-i_build.sh b/bin/d-i_build.sh index 910b3e25..ac74c705 100755 --- a/bin/d-i_build.sh +++ b/bin/d-i_build.sh @@ -9,6 +9,7 @@ common_init "$@" RESULT_DIR=$(readlink -f ..) ISO_DIR=/srv/d-i/isos +DI_HOST=profitbricks-build10-amd64.debian.net clean_workspace() { # @@ -68,8 +69,8 @@ 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 - ssh -o 'Batchmode = yes' profitbricks-build10-amd64.debian.net mkdir -p $ISO_DIR/ - rsync -e "ssh -o 'Batchmode = yes'" -r $ISO_DIR/ profitbricks-build10-amd64.debian.net:$ISO_DIR/ + ssh -o 'Batchmode = yes' $DI_HOST mkdir -p $ISO_DIR/ + rsync -e "ssh -o 'Batchmode = yes'" -r $ISO_DIR/ $DI_HOST:$ISO_DIR/ fi fi } |