// outputPath = "${DEST_DIR_OUTPUT}">\r
//\r
ele = doc.createElement("tool");\r
- ele.setAttribute("toolName", "${WORKSPACE_DIR}" + File.separatorChar + "Tools" + File.separatorChar + "Bin"\r
+ ele.setAttribute("toolName", "${WORKSPACE_DIR}" + File.separatorChar + "Tools" + File.separatorChar + "bin"\r
+ File.separatorChar + "GenCRC32Section");\r
ele.setAttribute("outputPath", "${DEST_DIR_OUTPUT}");\r
}\r