Commit ef692ec7c6cb3699a8c6e669045bd89d56191e59
Committed by
GitHub
GitHub
1 parent
f7d26f26
fix: support namespacing again in MakeSingleHeader (#707)
Showing
1 changed file
with
3 additions
and
0 deletions
scripts/MakeSingleHeader.py
| @@ -115,6 +115,9 @@ def make_header(output, main_header, files, tag, namespace, macro=None, version= | @@ -115,6 +115,9 @@ def make_header(output, main_header, files, tag, namespace, macro=None, version= | ||
| 115 | print("Converting macros", before, "->", after) | 115 | print("Converting macros", before, "->", after) |
| 116 | single_header.replace(before, after) | 116 | single_header.replace(before, after) |
| 117 | 117 | ||
| 118 | + new_namespace = namespace + "::" | ||
| 119 | + single_header = re.sub(r"\bCLI::\b", new_namespace, single_header) | ||
| 120 | + | ||
| 118 | if output is not None: | 121 | if output is not None: |
| 119 | with open(output, "w") as f: | 122 | with open(output, "w") as f: |
| 120 | f.write(single_header) | 123 | f.write(single_header) |