diff options
| author | Leitwolf11 | 2026-10-29 09:26:49 +0300 |
|---|---|---|
| committer | Leitwolf11 | 2026-10-29 09:26:49 +0300 |
| commit | 30176b75937e87eafbb4f5557eb0be9697753ddf (patch) | |
| tree | 2e3327fb973f9560b5067d654f3a21ff12a821aa | |
| parent | 45f8c539e86099cb80ecf29b0bf2b3340e141001 (diff) | |
| download | catch3-30176b75937e87eafbb4f5557eb0be9697753ddf.tar.gz | |
Make updateThirdParty.py executable
The header and license workflow runs it as ./tools/scripts/updateThirdParty.py,
like the other scripts, and failed with 'Permission denied': the file was
created without the executable bit.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
| -rwxr-xr-x[-rw-r--r--] | tools/scripts/updateThirdParty.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/scripts/updateThirdParty.py b/tools/scripts/updateThirdParty.py index a28ead3c..a28ead3c 100644..100755 --- a/tools/scripts/updateThirdParty.py +++ b/tools/scripts/updateThirdParty.py |