diff --git a/build.sh b/build.sh index 13242ac..1e6d946 100755 --- 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/"