X-Git-Url: https://code.wpia.club/?a=blobdiff_plain;f=build.xml;h=b7bf7b9f71a28d6bdccd9c712fb11bd087ceab2c;hb=0f796ddfef46d1ee06951efc4f3334732e9dabdb;hp=057c6881623ea77dfa40d9b2aaee337e07c1066c;hpb=40f85c683288d3b19d7ff057854df9cd7ff469c3;p=gigi.git

diff --git a/build.xml b/build.xml
index 057c6881..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" />
@@ -75,10 +76,7 @@
 	</target>
 
 	<target name="native">
-		<exec executable="make" dir="natives">
-			<arg value="clean" />
-			<arg value="all" />
-		</exec>
+		<exec executable="make" dir="natives"/>
 	</target>
 
 	<target depends="build" name="pack">
@@ -101,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>