diff options
Diffstat (limited to 'Tools')
-rw-r--r-- | Tools/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/build.xml b/Tools/build.xml index 38149c38e7..2188431a9f 100644 --- a/Tools/build.xml +++ b/Tools/build.xml @@ -58,6 +58,7 @@ 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"/>
</target>
<target name="clean">
<subant target="clean" inheritall="false">
|