From 7a3109fe67c6b6d158964c780539b227fca125e7 Mon Sep 17 00:00:00 2001
From: Alon Levy <alon@pobox.com>
Date: Fri, 10 Apr 2015 18:53:57 +0200
Subject: build.ant: preserve permissions on tools

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

diff --git a/build.ant b/build.ant
index 83b263eb..58a362b2 100644
--- a/build.ant
+++ b/build.ant
@@ -135,14 +135,14 @@
                      includes="*" />
          </copy>
 
-         <!-- tools -->
-         <copy todir="${targetDeploymentDir}/bin/tools">
-            <fileset dir="src/local/server-tools"
-                     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}/bin/tools"/>
+      </exec>
+
    </target>
 
    <target name="deploy-remote" depends="deploy-local">
-- 
cgit v1.3.1