diff options
| author | Dani Megert | 2005-07-05 10:45:54 +0000 |
|---|---|---|
| committer | Dani Megert | 2005-07-05 10:45:54 +0000 |
| commit | 7a8e19879a4a00b187b32a0d10c9ea47f01011cc (patch) | |
| tree | 2e71a6ca76e2f42bd108e35ad1776448c355e721 /org.eclipse.core.filebuffers/scripts | |
| parent | df651711f74f015a1bee3e306181865e9be42b98 (diff) | |
| download | eclipse.platform.text-7a8e19879a4a00b187b32a0d10c9ea47f01011cc.tar.gz eclipse.platform.text-7a8e19879a4a00b187b32a0d10c9ea47f01011cc.tar.xz eclipse.platform.text-7a8e19879a4a00b187b32a0d10c9ea47f01011cc.zip | |
Improved script by replacing already used 'version' property
Diffstat (limited to 'org.eclipse.core.filebuffers/scripts')
| -rw-r--r-- | org.eclipse.core.filebuffers/scripts/exportplugin.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.core.filebuffers/scripts/exportplugin.xml b/org.eclipse.core.filebuffers/scripts/exportplugin.xml index 08befa043dc..7aa0a212945 100644 --- a/org.eclipse.core.filebuffers/scripts/exportplugin.xml +++ b/org.eclipse.core.filebuffers/scripts/exportplugin.xml @@ -4,9 +4,9 @@ <property name="destdir" value="../../plugin-export" /> <property name="tempdir" value="../../tmp" /> <property name="plugin" value="org.eclipse.core.filebuffers" /> - <property name="version" value="_3.1.0" /> - <property name="dest" value="${destdir}/${plugin}${version}" /> - <property name="destjar" value="${destdir}/${plugin}${version}.jar" /> + <property name="plugin_version" value="_3.1.0" /> + <property name="dest" value="${destdir}/${plugin}${plugin_version}" /> + <property name="destjar" value="${destdir}/${plugin}${plugin_version}.jar" /> </target> <target name="build" depends="init"> |