0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Don't try to do map renames when getting diffs.

Browse source
This commit is contained in:
Eric S. Raymond 2007-10-22 15:37:34 +00:00
parent b5ee79023f
commit b3a790b97f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
data/tools/wmllint
View file

@ -1487,7 +1487,7 @@ if __name__ == '__main__':
raise exc_type, exc_value, exc_traceback
# Time for map file renames
# FIXME: We should make some effort to rename mask files.
if not revert and not fn.endswith(".map") and not fn.endswith(".mask") and is_map(fn):
if not revert and not diffs and not fn.endswith(".map") and not fn.endswith(".mask") and is_map(fn):
mover = vcmove(fn, fn + ".map")
print mover
if not dryrun: