build fix

This commit is contained in:
2025-02-07 16:21:42 +08:00
parent ef0a1f5d91
commit bc3c5a8f9d
387 changed files with 5651 additions and 27 deletions

0
externals/catch2/tools/scripts/approvalTests.py vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/approve.py vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/buildAndTest.sh vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/checkConvenienceHeaders.py vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/checkDuplicateFilenames.py vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/checkLicense.py vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/developBuild.py vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/fixWhitespace.py vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/generateAmalgamatedFiles.py vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/majorRelease.py vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/minorRelease.py vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/patchRelease.py vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/updateDocumentSnippets.py vendored Normal file → Executable file
View File

0
externals/catch2/tools/scripts/updateDocumentToC.py vendored Normal file → Executable file
View File