ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Improve error for missing name from mbed_lib.json

pull/2433/head
Jimmy Brisson 2016-08-11 16:05:40 -05:00
parent 0712b8adf6
commit 71113a8820
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/config.py
View File

@ -240,6 +240,9 @@ class Config:
# Read the library configuration and add a "__full_config_path" attribute to it
cfg = json_file_to_dict(f)
cfg["__config_path"] = full_path
if "name" not in cfg:
raise ConfigException("Library configured at %s has no name field." % full_path)
# If there's already a configuration for a module with the same name, exit with error
if self.lib_config_data.has_key(cfg["name"]):
raise ConfigException("Library name '%s' is not unique (defined in '%s' and '%s')" % (cfg["name"], full_path, self.lib_config_data[cfg["name"]]["__config_path"]))