Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Williams2014-04-10 17:10:37 +0000
committerDavid Williams2014-04-10 17:10:37 +0000
commit13f7d9e656f09fc96d97f6fb771709229542af1e (patch)
tree38441f7f64b6280a7e81c791850ba0289f25e514 /eclipse-platform-parent/saveproperties/mavenproperties.properties
parent7c89b801d8368ea1fd8f934ca9ef8a604958c689 (diff)
downloadeclipse.platform.releng.aggregator-13f7d9e656f09fc96d97f6fb771709229542af1e.tar.gz
eclipse.platform.releng.aggregator-13f7d9e656f09fc96d97f6fb771709229542af1e.tar.xz
eclipse.platform.releng.aggregator-13f7d9e656f09fc96d97f6fb771709229542af1e.zip
[releng] record java.version used running build
Diffstat (limited to 'eclipse-platform-parent/saveproperties/mavenproperties.properties')
-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 48c2e18ac..867913177 100644
--- a/eclipse-platform-parent/saveproperties/mavenproperties.properties
+++ b/eclipse-platform-parent/saveproperties/mavenproperties.properties
@@ -20,6 +20,7 @@ java.library.path=${java.library.path}
java.runtime.name=${java.runtime.name}
java.runtime.version=${java.runtime.version}
java.specification.name=${java.specification.name}
+java.version=${java.version}
maven.home=${maven.home}
maven.repo.local=${maven.repo.local}

Back to the top