From af78fe2a58f112c2a89d5731461dff8b59b19647 Mon Sep 17 00:00:00 2001
From: Alon Levy <alon@pobox.com>
Date: Fri, 10 Apr 2015 19:02:43 +0200
Subject: server-tools: change destination to separate tools directory

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

(limited to 'build.ant')

diff --git a/build.ant b/build.ant
index 58a362b2..095b1cc9 100644
--- a/build.ant
+++ b/build.ant
@@ -135,13 +135,13 @@
                      includes="*" />
          </copy>
 
-      </parallel>
+          <!-- tools. use cp to preserve permissions (copy doesn't).
+               out of parallel so ${targetDeploymentDir}/bin is already created -->
+          <exec executable="cp" failonerror="true">
+             <arg line="-R src/local/server-tools ${targetDeploymentDir}/tools"/>
+          </exec>
 
-      <!-- tools. use cp to preserve permissions (copy doesn't).
-           out of parallel so ${targetDeploymentDir}/bin is already created -->
-      <exec executable="cp" failonerror="true">
-         <arg line="-R src/local/server-tools ${targetDeploymentDir}/bin/tools"/>
-      </exec>
+      </parallel>
 
    </target>
 
-- 
cgit v1.3.1