From bf55a3f81c45a77e00716bfbf31e821b7bce60dc Mon Sep 17 00:00:00 2001 From: SysAdmin Date: Thu, 7 May 2026 11:13:02 +0100 Subject: [PATCH] fix(linux/build): mark build-inner.sh executable (M1.1) Run #4252 died at: runuser: failed to execute /workspace/SilverLABS/SilverMetal/linux/build/scripts/build-inner.sh: Permission denied The script was created on the WSL/Windows side (/mnt/c) where every file appears world-rwx regardless of git's index, so the local `chmod +x` was a no-op as far as git was concerned and the file got committed at mode 100644 like any other regular file. Sibling scripts (build.sh, verify-reproducibility.sh, diagnose-divergence.sh) all correctly carry 100755 in the index. Fix: `git update-index --chmod=+x` to set the bit in the index explicitly, independent of the working-tree perms. Co-Authored-By: Claude Opus 4.7 (1M context) --- linux/build/scripts/build-inner.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 linux/build/scripts/build-inner.sh diff --git a/linux/build/scripts/build-inner.sh b/linux/build/scripts/build-inner.sh old mode 100644 new mode 100755