From ef692ec7c6cb3699a8c6e669045bd89d56191e59 Mon Sep 17 00:00:00 2001 From: Henry Schreiner Date: Mon, 21 Mar 2022 18:56:51 -0400 Subject: [PATCH] fix: support namespacing again in MakeSingleHeader (#707) --- scripts/MakeSingleHeader.py | 3 +++ 1 file changed, 3 insertions(+), 0 deletions(-) diff --git a/scripts/MakeSingleHeader.py b/scripts/MakeSingleHeader.py index 42e0ee7..6eaf749 100755 --- a/scripts/MakeSingleHeader.py +++ b/scripts/MakeSingleHeader.py @@ -115,6 +115,9 @@ def make_header(output, main_header, files, tag, namespace, macro=None, version= print("Converting macros", before, "->", after) single_header.replace(before, after) + new_namespace = namespace + "::" + single_header = re.sub(r"\bCLI::\b", new_namespace, single_header) + if output is not None: with open(output, "w") as f: f.write(single_header) -- libgit2 0.21.4