diff options
Diffstat (limited to 'Tools/Source/TianoTools/Common')
| -rw-r--r-- | Tools/Source/TianoTools/Common/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/Source/TianoTools/Common/build.xml b/Tools/Source/TianoTools/Common/build.xml index 91cba350d5..a8cec23ded 100644 --- a/Tools/Source/TianoTools/Common/build.xml +++ b/Tools/Source/TianoTools/Common/build.xml @@ -100,7 +100,7 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. <target name="cleanall" depends="init">
<echo message="Removing Object Files and the Library: CommonTools${ext_static}"/>
- <delete dir="${BUILD_DIR}">
+ <delete dir="${BUILD_DIR}" failonerror="false">
<fileset dir="${LIB_DIR}" includes="CommonTools${ext_static}"/>
</delete>
</target>
|