diff options
-rw-r--r-- | Tools/build.xml | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/Tools/build.xml b/Tools/build.xml index 06cc9211d7..ea6a2501d3 100644 --- a/Tools/build.xml +++ b/Tools/build.xml @@ -75,8 +75,24 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. rewritePrefix="file:/]]>${env.WORKSPACE}<![CDATA[/Tools/XMLSchema/"/>
</catalog>]]>
</echo>
- <copy file="Conf/tools_def.template" tofile="Conf/tools_def.txt" overwrite="false"/>
- <copy file="Conf/target.template" tofile="Conf/target.txt" overwrite="false"/>
+ <if>
+ <not>
+ <available file="Conf/tools_def.txt"/>
+ </not>
+ <then>
+ <copy file="Conf/tools_def.template" tofile="Conf/tools_def.txt"/>
+ </then>
+ </if>
+
+ <if>
+ <not>
+ <available file="Conf/target.txt"/>
+ </not>
+ <then>
+ <copy file="Conf/target.template" tofile="Conf/target.txt"/>
+ </then>
+ </if>
+
<if>
<not>
<available file="Conf/FrameworkDatabase.db"/>
|