Allow fields in kernel structures to be marked optional.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 11 Aug 2008 17:19:30 +0000 (18:19 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 11 Aug 2008 17:19:30 +0000 (18:19 +0100)
commite3882be985f3264a22f430c14beebc5a2c0c4802
tree3ee19ebb49bcb7f3acecbb9701bd91a274348ba9
parent98e6a54c9568aaa833c151ac3f39c3234efee126
Allow fields in kernel structures to be marked optional.
extract/codegen/kerneldb_to_parser.ml