From a0a25e66962db7b3fd42eb1b15b291041c2e35cc Mon Sep 17 00:00:00 2001
From: Alon Levy <alon@pobox.com>
Date: Fri, 10 Apr 2015 18:13:15 +0200
Subject: build.ant: copy server tools

---
 build.ant | 6 ++++++
 1 file changed, 6 insertions(+)

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>
-- 
cgit v1.3.1