commit 3882ffe8976718cddcc43276384d27f3144c6705
author Antonio García-Domínguez <agarcdomi@gmail.com> Mon Feb 15 10:19:56 2021 +0000
committer Antonio García-Domínguez <agarcdomi@gmail.com> Mon Feb 15 10:19:56 2021 +0000
tree e0c2274f0def6e97cf17b224cecb959af76415e6
parent d0eda7d8b0a1a77498eb8b339930afc83df72429

Rename interim-jenkins to interim

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index cd3f41d..052d6d6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -40,7 +40,7 @@
               lock('download-area') {
                 sshagent (['projects-storage.eclipse.org-bot-ssh']) {
                   sh '''
-                    INTERIM=/home/data/httpd/download.eclipse.org/emfatic/interim-jenkins
+                    INTERIM=/home/data/httpd/download.eclipse.org/emfatic/interim
                     SITEDIR="$WORKSPACE/releng/org.eclipse.emf.emfatic.updatesite/target"
                     if [ -d "$SITEDIR" ]; then
                       ssh genie.emfatic@projects-storage.eclipse.org rm -rf $INTERIM