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

Complain about nonexistent directories.

Browse source
This commit is contained in:
Eric S. Raymond 2007-07-25 03:04:43 +00:00
parent 90aa31e949
commit 832246933b
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
data/tools/wmllint
View file

@ -675,7 +675,10 @@ def allcfgfiles(dir):
datafiles = []
if not os.path.isdir(dir):
if interesting(dir):
datafiles.append(dir)
if not os.path.exists(dir):
sys.stderr.write("wmllint: %s does not exist\n" % dir)
else:
datafiles.append(dir)
else:
for root, dirs, files in os.walk(dir):
if vcdir in dirs: