| Index: tools/json_schema_compiler/idl_schema.py
|
| diff --git a/tools/json_schema_compiler/idl_schema.py b/tools/json_schema_compiler/idl_schema.py
|
| index 8e46d1218a26bd6339fbcb5b1dbd0ad2ee5bb759..d65746a210af0d24649677719f8291107a474fa6 100644
|
| --- a/tools/json_schema_compiler/idl_schema.py
|
| +++ b/tools/json_schema_compiler/idl_schema.py
|
| @@ -131,10 +131,9 @@ class Member(object):
|
| def process(self, callbacks):
|
| properties = {}
|
| name = self.node.GetName()
|
| - if self.node.GetProperty('OPTIONAL'):
|
| - properties['optional'] = True
|
| - if self.node.GetProperty('nodoc'):
|
| - properties['nodoc'] = True
|
| + for property_name in ('OPTIONAL', 'nodoc', 'nocompile'):
|
| + if self.node.GetProperty(property_name):
|
| + properties[property_name.lower()] = True
|
| is_function = False
|
| parameter_comments = {}
|
| for node in self.node.children:
|
|
|