X-Git-Url: http://git.tdb.fi/?p=libs%2Fgl.git;a=blobdiff_plain;f=scripts%2Fextgen.py;h=15ef167bfaf60c9d3de0a162e53b13f7150ace26;hp=92c78b504ff5a27ae1582c0e5d294f748d3692ed;hb=56beca9d8b4f7b4edac81411d31e24df88e84ac3;hpb=211d5ec0e55778ab023b1bc6bb54e2c9afa7df0c 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):