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

Some minor clean-up to Python script

Browse Source
This commit is contained in:
Phil Nash 2017-02-15 11:54:47 +00:00
parent fe690a68ef
commit 1f71d1f760
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/generateSingleHeader.py
View File

@ -65,7 +65,7 @@ def parseFile( path, filename ):
if headerFile != "tbc_text_format.h" and headerFile != "clara.h": if headerFile != "tbc_text_format.h" and headerFile != "clara.h":
seenHeaders.add( headerFile ) seenHeaders.add( headerFile )
write( "// #included from: {0}\n".format( header ) ) write( "// #included from: {0}\n".format( header ) )
if( headerPath == "internal" and path.endswith( "internal/" ) ): if headerPath == "internal" and path.endswith("internal/"):
headerPath = "" headerPath = ""
sep = "" sep = ""
if os.path.exists( path + headerPath + sep + headerFile ): if os.path.exists( path + headerPath + sep + headerFile ):