3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2024-11-24 22:36:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix release automation script

Browse Source
This commit is contained in:
Martin Hořeňovský 2022-05-16 18:39:01 +02:00
parent 48f3226974
commit 04a54b0e87
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/scripts/releaseCommon.py
View File

@ -127,9 +127,9 @@ def performUpdates(version):
version.updateVersionFile() version.updateVersionFile()
updateVersionDefine(version) updateVersionDefine(version)
import generateAmalgamatedFile import generateAmalgamatedFiles
generateAmalgamatedFile.generate_header() generateAmalgamatedFiles.generate_header()
generateAmalgamatedFile.generate_cpp() generateAmalgamatedFiles.generate_cpp()
updateCmakeFile(version) updateCmakeFile(version)
updateDocumentationVersionPlaceholders(version) updateDocumentationVersionPlaceholders(version)