X-Git-Url: http://git.tdb.fi/?p=libs%2Fgl.git;a=blobdiff_plain;f=scripts%2Fextgen.py;h=15ef167bfaf60c9d3de0a162e53b13f7150ace26;hp=92c78b504ff5a27ae1582c0e5d294f748d3692ed;hb=7189f63c549e9061789c47726ff8d6d12afca1a0;hpb=a170be7d2b295c4a3bbcea6585634bece3e1638b diff --git a/scripts/extgen.py b/scripts/extgen.py index 92c78b50..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):