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