diff options
author | 2009-08-06 16:05:02 -0700 | |
---|---|---|
committer | 2009-08-06 16:05:02 -0700 | |
commit | d36e945e1a1990bb369c332b64b8bb873e734a13 (patch) | |
tree | fae162f6cc7a83eb93b14cda579c1d03797826fb | |
parent | dc1a728fb89677589bf3b5e3a5aab58164c9be6b (diff) |
Sort the results of findleaves.
Hopefully this will fix the seemingly random build breakages.
-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 |