diff --git a/Jenkinsfile b/Jenkinsfile index 39a1c73..51c54bc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -79,9 +79,9 @@ pipeline { echo "cleanup $DEPLOY_FILE" if [ -f ${DEPLOY_BACKUP} ]; then echo "backup found: ${DEPLOY_BACKUP} going to replace it" - rm ${DEPLOY_BACKUP} - mv ${DEPLOY_FILE} ${DEPLOY_BACKUP} - touch ${DEPLOY_FILE} + rm ${DEPLOY_BACKUP}; + mv ${DEPLOY_FILE} ${DEPLOY_BACKUP}; + touch ${DEPLOY_FILE}; ''' } }