diff --git a/JenkinsfileGet b/JenkinsfileGet index 9e109d473f51aa52820d6116708e2ac68e72862f..4cb92ba85185b444739519ab615a545f60ac1802 100755 --- a/JenkinsfileGet +++ b/JenkinsfileGet @@ -65,8 +65,7 @@ pipeline { stage('Deploy web site') { steps { sh ''' - rsync -avz website/public/ bbaldassari2kd@projects-storage.eclipse.org:/home/data/httpd/download.eclipse.org/scava/ --delete - if [ $? -eq 23 ]; then print "some files/attrs were not transferred (see previous errors)"; fi + rsync -avz website/public/ bbaldassari2kd@projects-storage.eclipse.org:/home/data/httpd/download.eclipse.org/scava/ --delete || echo "Error $?: some files/attrs were not transferred (see previous errors)" ''' } }