From fd71f3b615b80d6d74e16d4727b8b47ce30f8706 Mon Sep 17 00:00:00 2001
From: Ian Young <ian@iay.org.uk>
Date: Sun, 29 Dec 2013 18:50:44 +0000
Subject: [PATCH] Delete embedded.pem after using it.

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index df8eb050..3a65b880 100644
--- a/build.xml
+++ b/build.xml
@@ -1303,6 +1303,7 @@
 			<arg value="${build.dir}/check_embedded.pl"/>
 			<arg value="-q"/>
 		</exec>
+        <delete file="${xml.dir}/embedded.pem" quiet="true" verbose="false"/>
 	</target>
 	
 	<!--