diff options
Diffstat (limited to 'Tools/scripts/finddiv.py')
| -rwxr-xr-x | Tools/scripts/finddiv.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/finddiv.py b/Tools/scripts/finddiv.py index 9d5862b..558791f 100755 --- a/Tools/scripts/finddiv.py +++ b/Tools/scripts/finddiv.py @@ -78,7 +78,7 @@ def processdir(dir, listnames): fn = os.path.join(dir, name) if os.path.normcase(fn).endswith(".py") or os.path.isdir(fn): files.append(fn) - files.sort(lambda a, b: cmp(os.path.normcase(a), os.path.normcase(b))) + files.sort(key=os.path.normcase) exit = None for fn in files: x = process(fn, listnames) |