src/server/plugins/java/build.xml@f3b490a2150c
src/server/plugins/java/build.xml
Sat, 14 May 2022 12:51:05 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sat, 14 May 2022 12:51:05 +0200
- branch
- webdav
- changeset 358
- f3b490a2150c
- parent 84
- afd57ce39ec9
- permissions
- -rw-r--r--
start threadpool in threadpool_run() if no threads are created yet
<project> <property name="src" location="javasrc"/> <property name="build" location="../../../../build/java"/> <property name="dist" location="../../../../work"/> <target name="clean"> <delete dir="../../../../build/java"/> </target> <target name="compile"> <mkdir dir="${build}"/> <javac srcdir="javasrc" destdir="../../../../build/java"/> </target> <target name="jar"> <jar destfile="${dist}/lib/wsrt.jar" basedir="${build}"/> </target> </project>
