kopia lustrzana https://github.com/JOSM/MapWithAI
Set the plugin resources directory
Signed-off-by: Taylor Smock <tsmock@meta.com>pull/24/head
rodzic
449514d2fb
commit
2028dad903
|
@ -2,6 +2,7 @@
|
|||
<project name="mapwithai" default="dist" basedir=".">
|
||||
<property name="plugin.src.dir" value="src/main/java"/>
|
||||
<property name="plugin.test.dir" value="src/test"/>
|
||||
<property name="plugin.resources.dir" value="src/main/resources"/>
|
||||
|
||||
<!-- edit the properties of this plugin in the file `gradle.properties` -->
|
||||
<property file="${basedir}/gradle.properties"/>
|
||||
|
@ -12,7 +13,7 @@
|
|||
<!-- Override the `setup-dist-default` task from build-common.xml -->
|
||||
<target name="setup-dist-default">
|
||||
<copy todir="${plugin.build.dir}" failonerror="no" includeemptydirs="no">
|
||||
<fileset dir="src/main/resources"/>
|
||||
<fileset dir="${plugin.resources.dir}"/>
|
||||
</copy>
|
||||
<copy todir="${plugin.build.dir}">
|
||||
<fileset dir=".">
|
||||
|
|
Ładowanie…
Reference in New Issue