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