commit fbe107a8b3a4536e9b9d6555c038578d294fa876
author Andrew Stadler <stadler@android.com> Tue Aug 11 15:05:59 2009 -0700
committer Andrew Stadler <stadler@android.com> Tue Aug 11 15:05:59 2009 -0700
tree daf82f5f25318f3d1e3c11e89920cd6afcff09af
parent 8510a1e0d7d45179e5fa19bebf26d022ec4c4e91

joeo here -- pesky findleaves.sh wasn't pruning directories.

tools/findleaves.py

diff --git a/tools/findleaves.py b/tools/findleaves.py
index 5554715..0adf188 100755
--- a/tools/findleaves.py
+++ b/tools/findleaves.py
@@ -38,7 +38,7 @@
       if check_prune:
         i = 0
         while i < len(dirs):
-          if os.path.join(root, dirs[i]) in prune:
+          if dirs[i] in prune:
             del dirs[i]
           else:
             i += 1