diff options
author | David Williams | 2014-03-27 17:51:39 +0000 |
---|---|---|
committer | David Williams | 2014-03-27 17:51:39 +0000 |
commit | 8ac42b5f386ae068a016a27772f136f957d40072 (patch) | |
tree | 3c599fc1a66183449d35b87bf31055cdddf88ba2 /production/build_eclipse_org.shsource | |
parent | 6b295996cfe12ea1c05e9117d0c037d3763f8fb6 (diff) | |
download | eclipse.platform.releng.aggregator-8ac42b5f386ae068a016a27772f136f957d40072.tar.gz eclipse.platform.releng.aggregator-8ac42b5f386ae068a016a27772f136f957d40072.tar.xz eclipse.platform.releng.aggregator-8ac42b5f386ae068a016a27772f136f957d40072.zip |
Bug 431236 - Javadoc for org.eclipse.jdt.annotation 2.0.0 needs Java 8
javadoc tool
Diffstat (limited to 'production/build_eclipse_org.shsource')
-rw-r--r-- | production/build_eclipse_org.shsource | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/production/build_eclipse_org.shsource b/production/build_eclipse_org.shsource index 44ab09c22..98153c4e4 100644 --- a/production/build_eclipse_org.shsource +++ b/production/build_eclipse_org.shsource @@ -95,3 +95,8 @@ then else SIGNING=${SIGNING:-false} fi + +# custom, environment specific setting, required to generate java doc correctly for Java 8 additions, +# in our production builds. This is anticipated to be temporary, until we find a better way +# to do it. +export JAVA_DOC_TOOL=-Declipse.javadoc="-Declipse.javadoc=/shared/common/jdk1.8.0_x64-latest/bin/javadoc" |