| commit | 3b55dfc9a75bc5ff0ec135a43ecdd4210180f179 | [log] [tgz] |
|---|---|---|
| author | Android (Google) Code Review <android-gerrit@google.com> | Tue Aug 11 15:07:18 2009 -0700 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Tue Aug 11 15:07:18 2009 -0700 |
| tree | 4f08ee957efafe4e4607546686c25ab690113f34 | |
| parent | ab007efd2fc18a92330ae0be88561b085167df01 [diff] | |
| parent | fbe107a8b3a4536e9b9d6555c038578d294fa876 [diff] |
Merge change 20816 * changes: joeo here -- pesky findleaves.sh wasn't pruning directories.
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