diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/jenkins_master_wrapper.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/jenkins_master_wrapper.sh b/bin/jenkins_master_wrapper.sh index ea3c6383..9bc6e7a0 100755 --- a/bin/jenkins_master_wrapper.sh +++ b/bin/jenkins_master_wrapper.sh @@ -74,6 +74,7 @@ if [ "$RETRIEVE_ARTIFACTS" = "yes" ] ; then echo "$(date -u) - retrieving artifacts." set -x + mkdir -p "$RESULTS" rsync -r -v -e "ssh -o 'Batchmode = yes' -p $PORT" "$NODE_NAME:$RESULTS/" "$RESULTS/" ssh -o "BatchMode = yes" -p $PORT $NODE_NAME "rm -r '$RESULTS'" fi |