+ <echo message="Removing extra ${env.WORKSPACE} history.xml files!"/>\r
+ <if>\r
+ <available file="${env.WORKSPACE}/Tools/bin/history.xml"/>\r
+ <then>\r
+ <delete failonerror="false" quiet="true">\r
+ <fileset file="${env.WORKSPACE}/Tools/bin/history.xml"/>\r
+ </delete>\r
+ </then>\r
+ </if>\r
+ <if>\r
+ <available file="${env.WORKSPACE}/Tools/CCode/Source/Library/history.xml"/>\r
+ <then>\r
+ <delete failonerror="false" quiet="true">\r
+ <fileset file="${env.WORKSPACE}/Tools/CCode/Source/Library/history.xml"/>\r
+ </delete>\r
+ </then>\r
+ </if>\r