commit b0450dbe92b4c6b2fc57843fef45f5b7e8640217
author Ed Merks <ed.merks@gmail.com> Sat May 16 10:17:36 2020 +0200
committer Ed Merks <ed.merks@gmail.com> Sat May 16 10:17:36 2020 +0200
tree b2e3c416b5f86ed2d95f117af34b494f1a3af465
parent 538412b5c67d38781407f75055bb03f74d9a0dee

Bug 562908 - Populate the JustJ Git clones with initial content

Ensure that artifacts are packed and signed.

releng/org.eclipse.justj.tools.releng/Jenkinsfile

diff --git a/releng/org.eclipse.justj.tools.releng/Jenkinsfile b/releng/org.eclipse.justj.tools.releng/Jenkinsfile
index 8dfcf1d..60c35d1 100644
--- a/releng/org.eclipse.justj.tools.releng/Jenkinsfile
+++ b/releng/org.eclipse.justj.tools.releng/Jenkinsfile
@@ -89,7 +89,7 @@
               if [[ $PROMOTE == false ]]; then
                 promotion_argument='-Dorg.eclipse.justj.p2.manager.args='
               fi
-              mvn $promotion_argument -Dorg.eclipse.justj.p2.manager.relative=$PUBLISH_LOCATION -Dbuild.type=$BUILD_TYPE -Dgit.commit=$GIT_COMMIT -Dbuild.id=$BUILD_NUMBER clean verify
+              mvn $promotion_argument -DPACK_AND_SIGN=true -Dorg.eclipse.justj.p2.manager.relative=$PUBLISH_LOCATION -Dbuild.type=$BUILD_TYPE -Dgit.commit=$GIT_COMMIT -Dbuild.id=$BUILD_NUMBER clean verify
               '''
           }
         }