+ <copy file="${DEST_DIR_OUTPUT}/@{FILENAME}.efi" tofile="${DEST_DIR_DEBUG}/@{FILENAME}.efi" />\r
+ <if>\r
+ <available file="${DEST_DIR_DEBUG}/@{FILENAME}.map" />\r
+ <then>\r
+ <copy file="${DEST_DIR_DEBUG}/@{FILENAME}.map" tofile="${BIN_DIR}/@{FILENAME}.map" />\r
+ </then>\r
+ </if>\r