From c7dadfc57a061758651ae0055d2bf0b75a446a26 Mon Sep 17 00:00:00 2001 From: Henry Fredrick Schreiner Date: Mon, 6 Feb 2017 14:42:27 -0500 Subject: [PATCH] Fix extra output file --- scripts/MakeSingleHeader.py | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/scripts/MakeSingleHeader.py b/scripts/MakeSingleHeader.py index 43b9d5ec..bd0dc797 100755 --- a/scripts/MakeSingleHeader.py +++ b/scripts/MakeSingleHeader.py @@ -26,13 +26,12 @@ def MakeHeader(out): headers = set() output = '' - with open('output.hpp', 'w') as f: - for inc in include_files: - with (BDIR / inc).open() as f: - inner = f.read() - headers |= set(includes_system.findall(inner)) - output += '\n// From {inc}\n\n'.format(inc=inc) - output += inner[inner.find('namespace'):] + for inc in include_files: + with (BDIR / inc).open() as f: + inner = f.read() + headers |= set(includes_system.findall(inner)) + output += '\n// From {inc}\n\n'.format(inc=inc) + output += inner[inner.find('namespace'):] header_list = '\n'.join('#include <'+h+'>' for h in headers)