commit 7634feb4e1be9c2fca4e33dc684c4feb2e8f5da4
author Ed Merks <ed.merks@gmail.com> Mon May 25 17:09:52 2020 +0200
committer Ed Merks <ed.merks@gmail.com> Mon May 25 17:09:52 2020 +0200
tree 0ba00ec86067e2c539fc58e16dabda210d76d469
parent 29418990e5fbbc976cb6ac5877810623efed8b14

Bug 562908 - Populate the JustJ Git clones with initial content

Fix typo in pipeline.

releng/org.eclipse.justj.releng/Jenkinsfile

diff --git a/releng/org.eclipse.justj.releng/Jenkinsfile b/releng/org.eclipse.justj.releng/Jenkinsfile
index c0bbbf0..20b0a19 100644
--- a/releng/org.eclipse.justj.releng/Jenkinsfile
+++ b/releng/org.eclipse.justj.releng/Jenkinsfile
@@ -20,7 +20,6 @@
 
   parameters {
     string(
-    string(
       name: 'PUBLISH_LOCATION_PREFIX',
       defaultValue: 'sandbox/jres',
       description: '''
@@ -28,6 +27,8 @@
         <br/>
         Generally just use the default unless you plan to delete the results after the promotion.
         ''')
+
+    string(
       name: 'JUSTJ_MANIFEST_URL',
       defaultValue: 'https://download.eclipse.org/justj/sandbox/jres/14/downloads/latest/justj.manifest',
       description: '''