diff options
Diffstat (limited to 'tools/findleaves.py')
| -rwxr-xr-x | tools/findleaves.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/findleaves.py b/tools/findleaves.py index 0cda23c5ba..77d67954e9 100755 --- a/tools/findleaves.py +++ b/tools/findleaves.py @@ -90,6 +90,7 @@ def main(argv): dirlist = argv[i:-1] filename = argv[-1] results = perform_find(mindepth, prune, dirlist, filename) + results.sort() for r in results: print r |