| Index: tools/json_schema_compiler/model.py
|
| diff --git a/tools/json_schema_compiler/model.py b/tools/json_schema_compiler/model.py
|
| index 3de975caebe2fe0ad7ef694c9d618fe6fd4d2432..83a00a767bddc6bb3e6eb26c95bd57553615bbd7 100644
|
| --- a/tools/json_schema_compiler/model.py
|
| +++ b/tools/json_schema_compiler/model.py
|
| @@ -71,8 +71,10 @@ class Namespace(object):
|
| self.functions = _GetFunctions(self, json, self)
|
| self.events = _GetEvents(self, json, self)
|
| self.properties = _GetProperties(self, json, self, toplevel_origin)
|
| - self.compiler_options = (json.get('compiler_options', {})
|
| - if include_compiler_options else {})
|
| + if include_compiler_options:
|
| + self.compiler_options = json.get('compiler_options', {})
|
| + else:
|
| + self.compiler_options = {}
|
| self.documentation_options = json.get('documentation_options', {})
|
|
|
| class Origin(object):
|
|
|