From 10ed78fcc51ac27a9a5226aab09d913d2274f8b0 Mon Sep 17 00:00:00 2001
From: Lars Kruse <devel@sumpfralle.de>
Date: Sun, 1 May 2022 15:51:49 +0200
Subject: [PATCH] build: add executable permissions to start scripts

See https://github.com/FreeCol/freecol/issues/108
---
 build.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/build.xml b/build.xml
index 63e7a83d42..f84b1fa630 100644
--- a/build.xml
+++ b/build.xml
@@ -326,6 +326,12 @@
         </copy>
         <copy file="${freecol.packaging.dir}/common/freecol.sh"
               tofile="${freecol.release.dir}/base/${freecol.name}/freecol"/>
+        <setpermissions mode="755">
+            <file file="${freecol.release.dir}/base/${freecol.name}/freecol"/>
+        </setpermissions>
+        <setpermissions permissions="OWNER_READ,OWNER_WRITE,OWNER_EXECUTE,OTHERS_READ,OTHERS_EXECUTE,GROUP_READ,GROUP_EXECUTE">
+            <file file="${freecol.release.dir}/base/${freecol.name}/freecol.cmd"/>
+        </setpermissions>
     </target>
 
     <target name="prepareSourceFiles" depends="initDist">