From 0f6e26e426782e36b0d1509684be6ade60ea76f3 Mon Sep 17 00:00:00 2001
From: "Hahn Axel (hahn)" <axel.hahn@unibe.ch>
Date: Fri, 21 Mar 2025 11:40:43 +0100
Subject: [PATCH] set x permission on platform binary

---
 build.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.php b/build.php
index cb2567c..ed4b96f 100755
--- a/build.php
+++ b/build.php
@@ -136,6 +136,7 @@ if(!copy($OUTFILE, $OUTFILE2)){
     _abort("Could not copy $OUTFILE to $OUTFILE2");
 }
 _ok("file created: '$OUTFILE2'");
+_exec("chmod +x $OUTFILE2");
 
 _h1("Create readme");
 $readme="{$OUTFILE2}__README.md";
-- 
GitLab