dedup findleaves output

2009-08-07 11:19:34 -07:00
parent edd731f430
commit 4820a945a5
1 changed files with 1 additions and 1 deletions
--- a/tools/findleaves.py
+++ b/tools/findleaves.py
@@ -91,7 +91,7 @@ def main(argv):
  filename = argv[-1]
  results = perform_find(mindepth, prune, dirlist, filename)
  results.sort()
-  for r in results:
+  for r in set(results):
    print r

 if __name__ == "__main__":