From f34feddaa26233e36835eca1a361825d774c2959 Mon Sep 17 00:00:00 2001
From: Jimmy Brisson <theotherjimmy@gmail.com>
Date: Thu, 5 Apr 2018 14:34:00 -0500
Subject: [PATCH] Error on invalid mbed_lib JSON

---
 tools/config/__init__.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/tools/config/__init__.py b/tools/config/__init__.py
index 04677215ee..043119eb01 100644
--- a/tools/config/__init__.py
+++ b/tools/config/__init__.py
@@ -490,8 +490,7 @@ class Config(object):
             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__))