| 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..7507ae761ff7edc41770f9dc72c7ffead4197bca 100644
|
| --- a/tools/json_schema_compiler/model.py
|
| +++ b/tools/json_schema_compiler/model.py
|
| @@ -486,8 +486,11 @@ class Platforms(object):
|
| WIN = _PlatformInfo("win")
|
|
|
| def _GetPlatforms(json):
|
| - if 'platforms' not in json:
|
| + if 'platforms' not in json or json['platforms'] == None:
|
| return None
|
| + # Sanity check: platforms should not be an empty list.
|
| + if not json['platforms']:
|
| + raise ValueError('"platforms" cannot be an empty list')
|
| platforms = []
|
| for platform_name in json['platforms']:
|
| for platform_enum in _Enum.GetAll(Platforms):
|
|
|