build.xml now cleans user/host certs

diff --git a/build.xml b/build.xml
index af0828a..cbbc5d1 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -88,7 +88,10 @@
     <target name="localinit"/>
        <target name="clean">
             <delete dir="${stage.dir}/share/test/certificates"/>
-
+            <delete file="${stage.dir}/usercert.pem"/>
+            <delete file="${stage.dir}/hostcert.pem"/>
+            <delete file="${stage.dir}/userkey.pem"/>
+            <delete file="${stage.dir}/hostkey.pem"/>
         </target>
        <target name="doc"/>