diff options
author | David Williams | 2013-04-30 16:07:18 +0000 |
---|---|---|
committer | David Williams | 2013-04-30 16:07:18 +0000 |
commit | 808268e5494e73c953bf41a239875101882aaf7b (patch) | |
tree | c1bbf732f48cd8fed0f9e777d6a32b6f99375a2c /production/publish-repo.sh | |
parent | fa5ca15c60f9ef56fc1eb16746111778e96dc2f7 (diff) | |
download | eclipse.platform.releng.aggregator-808268e5494e73c953bf41a239875101882aaf7b.tar.gz eclipse.platform.releng.aggregator-808268e5494e73c953bf41a239875101882aaf7b.tar.xz eclipse.platform.releng.aggregator-808268e5494e73c953bf41a239875101882aaf7b.zip |
Bug 406930 - we are filling up tmp directory
Diffstat (limited to 'production/publish-repo.sh')
-rw-r--r-- | production/publish-repo.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/production/publish-repo.sh b/production/publish-repo.sh index 9b19bee5f..9c99e462f 100644 --- a/production/publish-repo.sh +++ b/production/publish-repo.sh @@ -114,7 +114,7 @@ then else - java -jar "$launcherJar" \ + java -Djava.io.tmpdir=$TMP_DIR -jar "$launcherJar" \ -data ${buildDirectory}/workspace-mirrorRepo \ -application org.eclipse.ant.core.antRunner \ -v \ @@ -122,7 +122,8 @@ else -DrepositoryDir=${repositoryDir} \ -Dbuildlogs=$logsDirectory \ -DsiteDirOnBuildMachine=$siteDirOnBuildMachine \ - -DcomparatorRepository=$comparatorRepository + -DcomparatorRepository=$comparatorRepository + -Djava.io.tmpdir=$TMP_DIR fi |