Bug 562908 - Populate the JustJ Git clones with initial content
Use real default pipelineVersion.
diff --git a/releng/org.eclipse.justj.releng/Jenkinsfile b/releng/org.eclipse.justj.releng/Jenkinsfile
index ee8da35..0e76bcc 100644
--- a/releng/org.eclipse.justj.releng/Jenkinsfile
+++ b/releng/org.eclipse.justj.releng/Jenkinsfile
@@ -65,8 +65,7 @@
parameters {
string(
name: 'PIPELINE_VERSION',
- // defaultValue: "${pipelineVersion}",
- defaultValue: "0",
+ defaultValue: "${pipelineVersion}",
description: '''
If the parameter definitions have changed, this version will be out-dated.
The script will run but will do nothing other than updating the parameter definitions of the job as a side-effect.