| 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']:
|
|
|