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

Merge pull request #6552 from theotherjimmy/error-invalid-lib 

Error on invalid mbed_lib JSON
pull/6564/head
Jimmy Brisson 2018-04-06 10:44:00 -05:00 committed by GitHub
parent 83100d20a5 f34feddaa2
commit 89301b1a0e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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__))