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

Error on invalid mbed_lib JSON

pull/6552/head
Jimmy Brisson 2018-04-05 14:34:00 -05:00
parent 75cb4d7512
commit f34feddaa2
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/config/__init__.py
View File

@ -490,8 +490,7 @@ class Config(object):
try: try:
cfg = json_file_to_dict(config_file) cfg = json_file_to_dict(config_file)
except ValueError as exc: except ValueError as exc:
sys.stderr.write(str(exc) + "\n") raise ConfigException(str(exc))
continue
# Validate the format of the JSON file based on the schema_lib.json # Validate the format of the JSON file based on the schema_lib.json
schema_root = os.path.dirname(os.path.abspath(__file__)) schema_root = os.path.dirname(os.path.abspath(__file__))