diff options
| author | Eike Stepper | 2011-07-11 14:08:24 +0000 |
|---|---|---|
| committer | Eike Stepper | 2011-07-11 14:08:24 +0000 |
| commit | 252256d7d0f6d418d24f836b88b355a9efdf6f2f (patch) | |
| tree | 3feca51059cf4912810af5a15d6d58b15bdfaf78 | |
| parent | bad1158a472b411ba7f6efb5ea713b6bdd007b32 (diff) | |
| download | cdo-252256d7d0f6d418d24f836b88b355a9efdf6f2f.tar.gz cdo-252256d7d0f6d418d24f836b88b355a9efdf6f2f.tar.xz cdo-252256d7d0f6d418d24f836b88b355a9efdf6f2f.zip | |
[351616] [releng] Provide platform-specific server downloads
https://bugs.eclipse.org/bugs/show_bug.cgi?id=351616
| -rw-r--r-- | plugins/org.eclipse.emf.cdo.releng/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/org.eclipse.emf.cdo.releng/build.xml b/plugins/org.eclipse.emf.cdo.releng/build.xml index 0bc169a468..ac2ecf4937 100644 --- a/plugins/org.eclipse.emf.cdo.releng/build.xml +++ b/plugins/org.eclipse.emf.cdo.releng/build.xml @@ -282,7 +282,7 @@ suffix=".zip" property="director.zip" deleteonexit="true" /> - <get src="${eclipse.downloads}/${director.path}" dest="${director.zip}" /> + <get src="${director}" dest="${director.zip}" /> <mkdir dir="${tools}" /> <unzip src="${director.zip}" dest="${tools}" /> <delete file="${director.zip}" /> |