diff options
Diffstat (limited to 'scripts/build_eclipse_org.env')
-rw-r--r-- | scripts/build_eclipse_org.env | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/build_eclipse_org.env b/scripts/build_eclipse_org.env index 64a9bbbe5..d9c422893 100644 --- a/scripts/build_eclipse_org.env +++ b/scripts/build_eclipse_org.env @@ -7,9 +7,11 @@ BRANCH=${BRANCH:-master} STREAM=${STREAM:-4.3.0} BUILD_TYPE=${BUILD_TYPE:-N} +TMP_DIR=${TMP_DIR:-${BUILD_ROOT}/tmp} + # these could be machine specific JAVA_HOME=${JAVA_HOME:-/shared/common/jdk1.7.0} -MAVEN_OPTS=${MAVEN_OPTS:--Xmx2048m} +MAVEN_OPTS=${MAVEN_OPTS:--Xmx2048m -Djava.io.tmpdir=${TMP_DIR}} MAVEN_PATH=${MAVEN_PATH:-/shared/common/apache-maven-3.0.4/bin} AGGREGATOR_REPO=git://git.eclipse.org/gitroot/platform/eclipse.platform.releng.aggregator.git |