Merge branch 'copy-RPM-script' into 'master'

Added parentheses around ERROR_COUNT (L 71).

See merge request !6608

Former-commit-id: 10f4a7557c9e0f1501c96bbeb10e13cb6870dc52

Build/AtlasBuildScripts/copy_rpm_eos.sh

@@ -68,7 +68,7 @@ DESTDIR=${DESTDIR}/${BRANCH}/${ARCH}/${DDAY}
 if [ ! -d ${DESTDIR} ] ; then 
    echo "mkdir -p ${DESTDIR}"
    mkdir -p ${DESTDIR} 
-   if [ ! -d ${DESTDIR} ] ; then ERROR_COUNT++ ; fi  #avoid false positive eos error if the directory was actually created
+   if [ ! -d ${DESTDIR} ] ; then ((ERROR_COUNT++)) ; fi  #avoid false positive eos error if the directory was actually created
 fi
 
 arr_rpm=(`(shopt -s nocaseglob; ls ${SOURCEDIR}/*.rpm)`)