Julian lechnerandClaude Sonnet 5
1163f6d96e
All tracked .sh files were stored as mode 100644 (non-executable), even though the CI workflow and normal usage invoke several of them directly (./scripts/build.sh) rather than through `bash`. On a fresh Linux checkout this fails with a permission error. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
7 lines
149 B
Bash
Executable File
7 lines
149 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
root=${1:?Repository root is required}
|
|
bash "$root/scripts/build.sh"
|
|
printf 'PASS post-change verification\n'
|