Merge branch 'master' of git://github.com/wesnoth/wesnoth

wesnoth · May 28, 2014 · 55addc2 · 55addc2
2 parents de55f1d + a4e30b6
commit 55addc2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/data/tools/wmllint b/data/tools/wmllint
@@ -1770,6 +1770,7 @@ def consistency_check():
                 if not base in usage:
                     print '"%s", line %d: %s has unknown base %s' % \
                               (filename, rl, rtype, base)
+                    continue
                 else:
                     utype = usage[base]
                 utypes.append(utype)