diff options
Diffstat (limited to 'cje-production/buildproperties.txt')
| -rw-r--r-- | cje-production/buildproperties.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cje-production/buildproperties.txt b/cje-production/buildproperties.txt index a567cc496..81906f66a 100644 --- a/cje-production/buildproperties.txt +++ b/cje-production/buildproperties.txt @@ -47,3 +47,7 @@ WEBTOOLS_REPO="http://download.eclipse.org/webtools/downloads/drops/R3.12.0/R-3. WEBTOOLS_VER="1.2.0.v201405010053" BASEBUILDER_DIR="tmp/org.eclipse.releng.basebuilder" ECLIPSE_RUN_REPO="http://download.eclipse.org/eclipse/updates/4.14-I-builds/" + +#Maven parameters +MAVEN_OPTS="-Xms2048m -Xmx4096m " +JAVA_DOC_TOOL="-Declipse.javadoc=/opt/tools/java/openjdk/jdk-11_x64-latest/bin/javadoc" |