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

Copy reporters to single_include during releases

Browse Source
This commit is contained in:
Martin Hořeňovský 2018-01-10 13:44:08 +01:00
parent 421ab16062
commit f5910f38ef
1 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
scripts/releaseCommon.py
View File

@ -142,10 +142,19 @@ def performUpdates(version):
# First update version file, so we can regenerate single header and # First update version file, so we can regenerate single header and
# have it ready for upload to wandbox, when updating readme # have it ready for upload to wandbox, when updating readme
version.updateVersionFile() version.updateVersionFile()
import generateSingleHeader import generateSingleHeader
generateSingleHeader.generate(version) generateSingleHeader.generate(version)
# Then copy the reporters to single include folder to keep them in sync
# We probably should have some kind of convention to select which reporters need to be copied automagically,
# but this works for now
import shutil
for rep in ('automake', 'tap', 'teamcity'):
sourceFile = os.path.join(catchPath, 'include/reporters/catch_reporter_{}.hpp'.format(rep))
destFile = os.path.join(catchPath, 'single_include/catch_reporter_{}.hpp'.format(rep))
shutil.copyfile(sourceFile, destFile)
updateReadmeFile(version) updateReadmeFile(version)
updateConanFile(version) updateConanFile(version)
updateConanTestFile(version) updateConanTestFile(version)