mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
copy runnerw to correct place
This commit is contained in:
@@ -121,9 +121,6 @@
|
||||
<patternset refid="resources.pt"/>
|
||||
<type type="file"/>
|
||||
</fileset>
|
||||
<fileset dir="${plugin.home}/../bin">
|
||||
<filename name="runnerw.exe"/>
|
||||
</fileset>
|
||||
</copy>
|
||||
|
||||
<!-- copy plugin.xml -->
|
||||
@@ -162,6 +159,8 @@
|
||||
<fileset dir="${plugin.home}/helpers" includes="**/*.py"/>
|
||||
</copy>
|
||||
|
||||
<copy todir="${plugindir}" file="${plugin.home}/../bin/runnerw.exe"/>
|
||||
|
||||
<zip basedir="${zipdir}" destfile="${output}/${zipname}"/>
|
||||
</target>
|
||||
|
||||
|
||||
Reference in New Issue
Block a user