summaryrefslogtreecommitdiff
path: root/build.xml
diff options
context:
space:
mode:
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml7
1 files changed, 6 insertions, 1 deletions
diff --git a/build.xml b/build.xml
index 74b0711..0fc492b 100644
--- a/build.xml
+++ b/build.xml
@@ -47,7 +47,7 @@
<target name="clean" description="cleans up the build directories">
<delete dir="${build.dir}"/>
</target>
- <target name="rebuild" depends="clean, jar" description="deletes and recompiles the whole of cristal2"/>
+ <target name="rebuild" depends="clean, jar" description="deletes and rebuilds the cristal-dev module"/>
<target name="jar" depends="resources" description="make jar">
<jar basedir="${build.dir}" includes="**" jarfile="cristaldev.jar"/>
</target>
@@ -61,6 +61,11 @@
<patternset refid="resource.files"/>
</fileset>
</copy>
+ <copy todir="${build.dir}">
+ <fileset dir="${src.dir}">
+ <filename name="module.xml"/>
+ </fileset>
+ </copy>
</target>
</project>