summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolas Schodet2016-01-18 13:27:00 +0100
committerNicolas Schodet2019-10-07 00:44:57 +0200
commit242d90c63e56d4cbac9a33a986f40f01f483edb0 (patch)
tree13bc12c60a9024e1a621d563b3f8d1fd61df1692
parent09d4a95a8eec1b57bc18264fab2a5c1beb61aabc (diff)
build/tools: allow project configuration
-rwxr-xr-xbuild/tools/config-gen10
-rw-r--r--build/tools/test/Config-ok3
2 files changed, 10 insertions, 3 deletions
diff --git a/build/tools/config-gen b/build/tools/config-gen
index 6313553..6ba32e0 100755
--- a/build/tools/config-gen
+++ b/build/tools/config-gen
@@ -28,9 +28,13 @@ def read_config(modules_configs, project_config, known_targets):
parser.remove_section(section)
# Save the list of existing items for later check.
def config_items(parser):
- return set('%s:%s' % (section.split(':')[0], item)
- for section in parser.sections()
- for item in parser.options(section))
+ s = set()
+ for section in parser.sections():
+ items = parser.options(section)
+ section = section.split(':')[0]
+ if section != 'project':
+ s.update(['%s:%s' % (section, item) for item in items])
+ return s
modules_items = config_items(parser)
# Now read project configuration.
if project_config is not None:
diff --git a/build/tools/test/Config-ok b/build/tools/test/Config-ok
index 19b4614..75f5791 100644
--- a/build/tools/test/Config-ok
+++ b/build/tools/test/Config-ok
@@ -3,3 +3,6 @@ bar = 2
[a:host]
bar = 3
+
+[project]
+blah = 1