diff options
Diffstat (limited to 'bin')
| -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 ac74c705..a0fb5078 100755 --- a/bin/d-i_build.sh +++ b/bin/d-i_build.sh @@ -1,6 +1,7 @@ #!/bin/bash -# Copyright 2012-2014 Holger Levsen <holger@layer-acht.org> +# Copyright 2012-2016 Holger Levsen <holger@layer-acht.org> +# 2016 Phil Hands <phil@hands.com> # released under the GPLv=2 DEBUG=false @@ -70,7 +71,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 ssh -o 'Batchmode = yes' $DI_HOST mkdir -p $ISO_DIR/ - rsync -e "ssh -o 'Batchmode = yes'" -r $ISO_DIR/ $DI_HOST:$ISO_DIR/ + rsync -e "ssh -o 'Batchmode = yes'" -r $DI_HOST:$ISO_DIR/ $ISO_DIR/ fi fi } |