Improve git indexer: really promote the final git-index.zip

eclipse-oomph · Jul 21, 2023 · c6bb2ca · c6bb2ca
1 parent ffb7623
commit c6bb2ca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/releng/org.eclipse.oomph.parent/git-index/Jenkinsfile b/releng/org.eclipse.oomph.parent/git-index/Jenkinsfile
@@ -87,7 +87,7 @@ pipeline {
                 PUBLISH_ARGUMENT="${OOMPH_DIR}/git/"
                 ssh ${LOGIN} "mkdir -p ${PUBLISH_ARGUMENT}"
                 scp releng/org.eclipse.oomph.parent/git-index/target/git-index.zip ${LOGIN}:${PUBLISH_ARGUMENT}/git-index-new.zip
-                ssh ${LOGIN} "cd ${PUBLISH_ARGUMENT}; ls git-index-new.zip; echo mv git-index-new.zip git-index.zip"
+                ssh ${LOGIN} "cd ${PUBLISH_ARGUMENT}; ls -sail git-index-new.zip; mv git-index-new.zip git-index.zip"
               '''
             }
           }