mirrors
/
freecol
mirror of https://github.com/FreeCol/freecol.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge 10ed78fcc5 into 4593e67c31

This commit is contained in:
Lars Kruse 2024-03-01 16:20:01 -07:00 committed by GitHub
parent 4593e67c31 10ed78fcc5
commit 80ca68456d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
build.xml
View File

@ -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">