src/server/plugins/java/build.xml

Fri, 01 Nov 2024 12:25:52 +0100

author
Olaf Wintermann <olaf.wintermann@gmail.com>
date
Fri, 01 Nov 2024 12:25:52 +0100
changeset 562
69fc4ecc5f60
parent 84
afd57ce39ec9
permissions
-rw-r--r--

fix pgext uses a wrong field number, if the column has the same name as a resource or property column

<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>

mercurial