generator: Don't die if an API call isn't listed in API versions file.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 5 Nov 2010 13:42:07 +0000 (13:42 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 5 Nov 2010 13:42:07 +0000 (13:42 +0000)
commit9f7926e7274aea9be43cf4bc1a9d1cf42ac6bec0
treec451a82ffa04ff108cd4f0da9db17d69d5999390
parent12cf2f732a275928a7ce727840e1f5ba6684754d
generator: Don't die if an API call isn't listed in API versions file.

For example, it may just have been added.
generator/generator_api_versions.ml
generator/generator_api_versions.mli
generator/generator_c.ml