mirror of https://github.com/catchorg/Catch2.git
a862924601
On systems where the file system has excute permissions, this script was not marked as executable in a clean git checkout and so could be run without first changing the permissions. Fixed by setting the relevant git flag. |
||
|---|---|---|
| .. | ||
| approvalTests.py | ||
| approve.py | ||
| benchmarkCompile.py | ||
| benchmarkRunner.py | ||
| checkConvenienceHeaders.py | ||
| developBuild.py | ||
| embed.py | ||
| embedClara.py | ||
| extractFeaturesFromReleaseNotes.py | ||
| fixWhitespace.py | ||
| generateSingleHeader.py | ||
| majorRelease.py | ||
| minorRelease.py | ||
| patchRelease.py | ||
| releaseCommon.py | ||
| releaseNotes.py | ||
| scriptCommon.py | ||
| updateDocumentToC.py | ||
| updateWandbox.py | ||