Delete embedded.pem after using it.

InCommon · Dec 29, 2013 · fd71f3b · fd71f3b
1 parent 3087701
commit fd71f3b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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>
 
 	<!--