diff options
-rwxr-xr-x | tools/findleaves.py | 4 |
1 files changed, 2 insertions, 2 deletions
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 @@ def main(argv): 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__": |