X-Git-Url: http://git.osdn.net/view?a=blobdiff_plain;f=tools%2Ffindleaves.py;h=3a9e5084e2b5a051d62be96a23c4fd2c5eb5be3c;hb=54c7d9430beb8b681b28fe83414da9ab0ed9f081;hp=52c4d9fab682c24c41e519b5ee5220d7de4c2b24;hpb=57afbd18af79f1c29f7cdc65bb9ac0896bbafb96;p=android-x86%2Fbuild.git diff --git a/tools/findleaves.py b/tools/findleaves.py index 52c4d9fab..3a9e5084e 100755 --- a/tools/findleaves.py +++ b/tools/findleaves.py @@ -28,7 +28,7 @@ def perform_find(mindepth, prune, dirlist, filename): 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: