Index: tools/licenses.py |
diff --git a/tools/licenses.py b/tools/licenses.py |
index e87a54d1682565088f01b458b7d5f7d18eda111c..cd121c2a84bf4101696a3264d715d17f6d166c64 100755 |
--- a/tools/licenses.py |
+++ b/tools/licenses.py |
@@ -366,7 +366,7 @@ def FindThirdPartyDirs(prune_paths, root): |
dirs[:] = [] |
for dir in ADDITIONAL_PATHS: |
- if dir not in prune_paths: |
+ if dir not in prune_paths and dir not in third_party_dirs: |
Paweł Hajdan Jr.
2013/12/18 08:48:12
nit: Could you make third_party_dirs a set instead
|
third_party_dirs.append(dir) |
return third_party_dirs |