mirrors/CLI11
1
0
Fork 0
mirror of https://github.com/CLIUtils/CLI11.git synced 2025-05-03 05:53:52 +00:00
Code Issues Releases Wiki Activity

fix: single header includes (#828)

Browse Source 
Signed-off-by: Henry Schreiner <henryschreineriii@gmail.com>

Signed-off-by: Henry Schreiner <henryschreineriii@gmail.com>
This commit is contained in:
Henry Schreiner 2023-01-05 17:46:58 -05:00 committed by GitHub
parent 4c7c8ddc45
commit 48dce18d3a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
include/CLI/Config.hpp
View File

@ -14,7 +14,7 @@
#include <string> #include <string>
#include <utility> #include <utility>
#include <vector> #include <vector>
// [CLI11:public_includes:set] // [CLI11:public_includes:end]
#include "App.hpp" #include "App.hpp"
#include "ConfigFwd.hpp" #include "ConfigFwd.hpp"

4
scripts/MakeSingleHeader.py
View File

@ -80,7 +80,7 @@ class HeaderGroups(dict):
""" """
for key in self: for key in self:
if isinstance(self[key], set): if isinstance(self[key], set):
self[key] = "\n".join(self[key]) self[key] = "\n".join(sorted(self[key]))
def make_header(output, main_header, files, tag, namespace, macro=None, version=None): def make_header(output, main_header, files, tag, namespace, macro=None, version=None):
@ -100,6 +100,8 @@ def make_header(output, main_header, files, tag, namespace, macro=None, version=
groups["git"] = "" groups["git"] = ""
for f in files: for f in files:
if os.path.isdir(f):
continue
groups.read_header(f) groups.read_header(f)
groups["namespace"] = namespace groups["namespace"] = namespace