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

Always report changed files when reindenting.

Browse source
This commit is contained in:
Eric S. Raymond 2008-01-25 03:26:21 +00:00
parent fb1fdc5159
commit d52a829b24
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
data/tools/wmlindent
View file

@ -212,8 +212,7 @@ def convertor(linefilter, arglist, exclude):
sys.stderr.write("wmlindent: %s unchanged\n" % filename)
os.remove(filename + ".out")
else:
if verbose >= 1:
sys.stderr.write("wmlindent: %s changed\n" % filename)
sys.stderr.write("wmlindent: %s changed\n" % filename)
if dryrun:
os.remove(filename + ".out")
else: