diff options
author | Dani Megert | 2002-05-13 17:40:38 +0000 |
---|---|---|
committer | Dani Megert | 2002-05-13 17:40:38 +0000 |
commit | ec5d90f8c7bba6bf4afb4d9aa084119af82ae007 (patch) | |
tree | 1382599678b4a59b20d999b207c703b1f4dfc95f /org.eclipse.search/scripts | |
parent | 0811112227b45536b31bc678cf343306d7cad7d3 (diff) | |
download | eclipse.platform.text-ec5d90f8c7bba6bf4afb4d9aa084119af82ae007.tar.gz eclipse.platform.text-ec5d90f8c7bba6bf4afb4d9aa084119af82ae007.tar.xz eclipse.platform.text-ec5d90f8c7bba6bf4afb4d9aa084119af82ae007.zip |
Added version
Diffstat (limited to 'org.eclipse.search/scripts')
-rw-r--r-- | org.eclipse.search/scripts/exportplugin.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.search/scripts/exportplugin.xml b/org.eclipse.search/scripts/exportplugin.xml index 629e0879c38..cc96fdddc0a 100644 --- a/org.eclipse.search/scripts/exportplugin.xml +++ b/org.eclipse.search/scripts/exportplugin.xml @@ -3,7 +3,8 @@ <tstamp/>
<property name="destdir" value="../../plugin-export" />
<property name="plugin" value="org.eclipse.search" />
- <property name="dest" value="${destdir}/${plugin}" />
+ <property name="version" value="_2.0.0" />
+ <property name="dest" value="${destdir}/${plugin}${version}" />
</target>
<target name="build" depends="init">
|