diff options
Diffstat (limited to 'Tools/CCode/Source/GenCRC32Section/build.xml')
| -rw-r--r-- | Tools/CCode/Source/GenCRC32Section/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/CCode/Source/GenCRC32Section/build.xml b/Tools/CCode/Source/GenCRC32Section/build.xml index 788001aa6f..3ec9ce5089 100644 --- a/Tools/CCode/Source/GenCRC32Section/build.xml +++ b/Tools/CCode/Source/GenCRC32Section/build.xml @@ -61,6 +61,7 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. <delete failonerror="false" quiet="true" includeEmptyDirs="true">
<fileset dir="${BUILD_DIR}"/>
<fileset file="${BIN_DIR}/${ToolName}${ext_exe}"/>
+ <fileset file="${BIN_DIR}/${ToolName}.pdb"/>
</delete>
</target>
|