diff --git a/build.xml b/build.xml
index 1014fc36e1bf9ab94518c49fc93c8490e1546d9f..432fcdd38241ab6b491369caa00af437105fe98f 100644 (file)
--- a/build.xml
+++ b/build.xml
<exclude name="removeoverlap/remove_rectangle_overlap-test.cpp"/>
<exclude name="removeoverlap/remove_rectangle_overlap-test.h"/>
</fileset>
+ <excludeinc dir="${src}">
+ <file name="extension/param"/>
+ </excludeinc>
<flags>
-Wall -Wformat-security -W -Wpointer-arith -Wcast-align -Wsign-compare -Woverloaded-virtual -Wswitch
-O2