build.ant: copy server tools

1 files changed, 6 insertions, 0 deletions

diff --git a/build.ant b/build.ant
index 09e02523..70a83e49 100644
--- a/build.ant
+++ b/build.ant
@@ -135,6 +135,12 @@
                      includes="*" />
          </copy>
 
+         <!-- tools -->
+         <copy todir="${targetDeploymentDir}/bin/tools">
+            <fileset dir="src/local/server-tools"
+                     includes="*"/>
+         </copy>
+
       </parallel>
 
    </target>