add chmod +x *.sh

2025-08-14 15:33:24 +02:00
1 changed files with 3 additions and 0 deletions
--- a/build.sh
+++ b/build.sh
@ -1,6 +1,9 @@
 #!/bin/bash
 cd "$(dirname "$0")"

+# Ensure all shell scripts are executable
+chmod +x *.sh
+
 PREFIX="threefold"

 echo "building for folder: /$PREFIX/"