Index: tools/json_schema_compiler/model.py |
diff --git a/tools/json_schema_compiler/model.py b/tools/json_schema_compiler/model.py |
index cc876dfad77730e9d72eaad52c73fff75b63fdf3..6e5ec55fade85cc21362628b6850c87411a5f3d0 100644 |
--- a/tools/json_schema_compiler/model.py |
+++ b/tools/json_schema_compiler/model.py |
@@ -486,7 +486,7 @@ class Platforms(object): |
WIN = _PlatformInfo("win") |
def _GetPlatforms(json): |
- if 'platforms' not in json: |
+ if 'platforms' not in json or not json['platforms']: |
return None |
platforms = [] |
for platform_name in json['platforms']: |