diff options
author | Stephan Herrmann | 2012-02-26 00:44:21 +0000 |
---|---|---|
committer | Stephan Herrmann | 2012-02-26 00:44:21 +0000 |
commit | 732170769de69c0d829da84cd248b500019f24d7 (patch) | |
tree | 4b7cadc5663cbf0e2ac5fd290bc8c34786666152 /releng/build-scripts | |
parent | 80c4b191d290fe61417d6a5e41747bc596c7c44d (diff) | |
download | org.eclipse.objectteams-732170769de69c0d829da84cd248b500019f24d7.tar.gz org.eclipse.objectteams-732170769de69c0d829da84cd248b500019f24d7.tar.xz org.eclipse.objectteams-732170769de69c0d829da84cd248b500019f24d7.zip |
Use otdt.map from the general gitCache
Diffstat (limited to 'releng/build-scripts')
-rw-r--r-- | releng/build-scripts/build/run.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/build-scripts/build/run.properties b/releng/build-scripts/build/run.properties index 543fac260..4859b04e3 100644 --- a/releng/build-scripts/build/run.properties +++ b/releng/build-scripts/build/run.properties @@ -16,7 +16,7 @@ vmargs=-Xmx768m -XX:-UseGCOverheadLimit # GIT repository information (FIXME: WORKAROUND): -git.repository.path=/shared/tools/objectteams/otGitCache/org.eclipse.objectteams/ +git.repository.path=/shared/tools/objectteams/gitCache/git___git_eclipse_org_gitroot_objectteams_org_eclipse_objectteams_git/ pathToMapFile=releng/map # Version dependent names: |