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