clean to delete config.h

diff --git a/build.xml b/build.xml
index d6668624857689a24d103eac4f99bd6cd1fc04fa..bbe288166ccc30617fa108ba3310a54b30a911b3 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -537,6 +537,7 @@
     <delete dir="${build}"/>
     <delete dir="${dist}"/>
     <delete file="build.dep"/>
+    <delete file="config.h"/>
 
   </target>