Merge change 20816

* changes: joeo here -- pesky findleaves.sh wasn't pruning directories.
2009-08-11 15:07:18 -07:00
parent ab007efd2f fbe107a8b3
commit 3b55dfc9a7
1 changed files with 1 additions and 1 deletions
--- a/tools/findleaves.py
+++ b/tools/findleaves.py
@@ -38,7 +38,7 @@ def perform_find(mindepth, prune, dirlist, filename):
      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