Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Williams2015-08-15 21:56:00 +0000
committerDavid Williams2015-08-15 21:56:00 +0000
commit96faacbd84a758b0cf0de60699a0b1dfe806f5db (patch)
tree7f08c224e0a71e5bcea8a59e5bb8f86c4225353a /eclipse-platform-parent/saveproperties
parent2e246823f919ad1c28141f70bd729684e8d9f148 (diff)
downloadeclipse.platform.releng.aggregator-96faacbd84a758b0cf0de60699a0b1dfe806f5db.tar.gz
eclipse.platform.releng.aggregator-96faacbd84a758b0cf0de60699a0b1dfe806f5db.tar.xz
eclipse.platform.releng.aggregator-96faacbd84a758b0cf0de60699a0b1dfe806f5db.zip
Bug 474782 - API Tools Verification Reports are not generated using M1
Diffstat (limited to 'eclipse-platform-parent/saveproperties')
-rw-r--r--eclipse-platform-parent/saveproperties/mavenproperties.properties1
1 files changed, 1 insertions, 0 deletions
diff --git a/eclipse-platform-parent/saveproperties/mavenproperties.properties b/eclipse-platform-parent/saveproperties/mavenproperties.properties
index 62b0071fe..d3de94f03 100644
--- a/eclipse-platform-parent/saveproperties/mavenproperties.properties
+++ b/eclipse-platform-parent/saveproperties/mavenproperties.properties
@@ -10,6 +10,7 @@ cbi-jdt-repo.url=${cbi-jdt-repo.url}
cbi-jdt-version=${cbi-jdt-version}
cbi-jdt-apt-version=${cbi-jdt-apt-version}
cbi-plugins.version=${cbi-plugins.version}
+eclipserun-repo=${eclipserun-repo}
java.class.path=${java.class.path}
java.class.version=${java.class.version}

Back to the top