server-tools: change destination to separate tools directory

1 files changed, 6 insertions, 6 deletions

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>