X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=scripts%2Fextgen.py;h=15ef167bfaf60c9d3de0a162e53b13f7150ace26;hb=d3813a0ab6ee2f8b9af775c28b51b512abe6cd09;hp=35f016600487de594fa511d3506f77cb7e5c006b;hpb=9b64473a06f9cb350e3a10726c40b6ec881f6a60;p=libs%2Fgl.git diff --git a/scripts/extgen.py b/scripts/extgen.py index 35f01660..15ef167b 100755 --- a/scripts/extgen.py +++ b/scripts/extgen.py @@ -399,7 +399,7 @@ def detect_backport_extension(host_api, things): best_ext = e best_count = count - if best_count*2>=total_count: + if total_count and best_count*2>=total_count: print "Warning: Inconsistent backport extension %s"%best_ext.name def collect_extensions(thing, api, exts): @@ -514,7 +514,7 @@ class SourceGenerator: self.enums.sort(key=(lambda e: e.value)) self.core_version = detect_core_version(host_api, things, debug) self.deprecated_version = detect_deprecated_version(host_api, things, debug) - self.backport_ext = detect_backport_extension(host_api, things); + self.backport_ext = detect_backport_extension(host_api, things) b, e = detect_source_extension(host_api, things, debug) self.base_version = b self.source_exts = e