Sort the results of findleaves.

Hopefully this will fix the seemingly random build breakages.

diff --git a/tools/findleaves.py b/tools/findleaves.py
index 0cda23c..77d6795 100755 (executable)
--- 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