diff options
| author | Phil Nash | 2017-02-15 11:54:47 +0000 |
|---|---|---|
| committer | Phil Nash | 2017-02-15 11:54:47 +0000 |
| commit | 1f71d1f76052e8be0e07ccd37d3f015c699f9a2f (patch) | |
| tree | 8a91d443ee67820492664bd85d9fe92effe2298a /scripts | |
| parent | fe690a68ef1e41d08e90589480fa8190219aa5b0 (diff) | |
| download | catch3-1f71d1f76052e8be0e07ccd37d3f015c699f9a2f.tar.gz | |
Some minor clean-up to Python script
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/generateSingleHeader.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/generateSingleHeader.py b/scripts/generateSingleHeader.py index 78ed0753..8c7715ba 100755 --- a/scripts/generateSingleHeader.py +++ b/scripts/generateSingleHeader.py @@ -1,6 +1,6 @@ #!/usr/bin/env python -from __future__ import print_function +from __future__ import print_function import os import sys @@ -65,7 +65,7 @@ def parseFile( path, filename ): if headerFile != "tbc_text_format.h" and headerFile != "clara.h": seenHeaders.add( headerFile ) write( "// #included from: {0}\n".format( header ) ) - if( headerPath == "internal" and path.endswith( "internal/" ) ): + if headerPath == "internal" and path.endswith("internal/"): headerPath = "" sep = "" if os.path.exists( path + headerPath + sep + headerFile ): |