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

Fix generateSingleHeader.py to properly copy utf-8

Browse Source
This commit is contained in:
Martin Hořeňovský 2018-08-29 12:36:43 +02:00
parent 5202993555
commit 898d111f72
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/generateSingleHeader.py
View File

@ -46,7 +46,7 @@ def generate(v):
outDir = os.path.dirname(outputPath) outDir = os.path.dirname(outputPath)
if not os.path.exists(outDir): if not os.path.exists(outDir):
os.makedirs(outDir) os.makedirs(outDir)
out = io.open( outputPath, 'w', newline='\n') out = io.open( outputPath, 'w', newline='\n', encoding='utf-8')
def write( line ): def write( line ):
if globals['includeImpl'] or globals['implIfDefs'] == -1: if globals['includeImpl'] or globals['implIfDefs'] == -1: