diff options
author | David Williams | 2014-04-10 17:10:37 +0000 |
---|---|---|
committer | David Williams | 2014-04-10 17:10:37 +0000 |
commit | 13f7d9e656f09fc96d97f6fb771709229542af1e (patch) | |
tree | 38441f7f64b6280a7e81c791850ba0289f25e514 /eclipse-platform-parent/saveproperties | |
parent | 7c89b801d8368ea1fd8f934ca9ef8a604958c689 (diff) | |
download | eclipse.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')
-rw-r--r-- | eclipse-platform-parent/saveproperties/mavenproperties.properties | 1 |
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} |