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

Error on invalid mbed_lib JSON

Author: theotherjimmy

tools/config/__init__.py

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