X-Git-Url: https://code.wpia.club/?a=blobdiff_plain;f=build.xml;h=b7bf7b9f71a28d6bdccd9c712fb11bd087ceab2c;hb=56e54469a3f9cd3e5cc9d07066441e0626d8da4b;hp=35973fb1d5969657bae7d695849ba9c3b40318ca;hpb=d0832a65e46dc6770ffa8012a7d0732c34fa25d6;p=gigi.git

diff --git a/build.xml b/build.xml
index 35973fb1..b7bf7b9f 100644
--- a/build.xml
+++ b/build.xml
@@ -65,6 +65,7 @@
 		<echo message="${ant.project.name}: ${ant.file}" />
 		<javac debug="true" debuglevel="${debuglevel}" destdir="bin"
 			includeantruntime="false" source="${source}" target="${target}">
+			<compilerarg value="-XDignore.symbol.file"/>
 			<src path="lib/servlet-api" />
 			<src path="lib/jetty" />
 			<src path="lib/jtar" />
@@ -98,6 +99,7 @@
 		<echo message="${ant.project.name}: ${ant.file}" />
 		<javac debug="true" debuglevel="${debuglevel}" destdir="bintest"
 			includeantruntime="false" source="${source}" target="${target}">
+			<compilerarg value="-XDignore.symbol.file"/>
 			<src path="tests" />
 			<classpath refid="cacert-gigi.test.classpath" />
 		</javac>