am 86ffa1cd: am 5da7ec4f: Merge "Follow symlinks in findleaves"
* commit '86ffa1cd63ede2c8b923d124aca9adab5aaca260':
Follow symlinks in findleaves
diff --git a/tools/findleaves.py b/tools/findleaves.py
index 52c4d9f..3a9e508 100755
--- a/tools/findleaves.py
+++ b/tools/findleaves.py
@@ -28,7 +28,7 @@
pruneleaves = set(map(lambda x: os.path.split(x)[1], prune))
for rootdir in dirlist:
rootdepth = rootdir.count("/")
- for root, dirs, files in os.walk(rootdir):
+ for root, dirs, files in os.walk(rootdir, followlinks=True):
# prune
check_prune = False
for d in dirs: