commit c7fd4a5a7b33ca1ae528940e132fe301abe4fb61
author Ying Wang <wangying@android.com> Fri Aug 19 09:36:56 2011 -0700
committer Android Git Automerger <android-git-automerger@android.com> Fri Aug 19 09:36:56 2011 -0700
tree 5df4cca5ef3a678e4c8cc0899daff8da5b61df5d
parent adf813670802e515ec420e9b0ba0791fab95dd6f
parent 2bcdfe145d485fc28e86700e4ed57ac67368de25

am 2bcdfe14: am 4651ee5d: am 7c7a8f02: Merge "Sort the results of findleaves again."

* commit '2bcdfe145d485fc28e86700e4ed57ac67368de25':
  Sort the results of findleaves again.

tools/findleaves.py

diff --git a/tools/findleaves.py b/tools/findleaves.py
index 0adf188..52c4d9f 100755
--- a/tools/findleaves.py
+++ b/tools/findleaves.py
@@ -89,9 +89,9 @@
     usage()
   dirlist = argv[i:-1]
   filename = argv[-1]
-  results = perform_find(mindepth, prune, dirlist, filename)
+  results = list(set(perform_find(mindepth, prune, dirlist, filename)))
   results.sort()
-  for r in set(results):
+  for r in results:
     print r
 
 if __name__ == "__main__":