remove duplicated names

tuna · Dec 27, 2016 · 5dcf7ac · 5dcf7ac
1 parent 3c91281
commit 5dcf7ac
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/helpers/manifest-xml-repolist.py b/helpers/manifest-xml-repolist.py
@@ -21,8 +21,12 @@ def main():
     parser.add_argument("remote", nargs='+',
                         help='remotes whose projects should be included')
     args = parser.parse_args()
+    present = set()
     for repo in get_repolist(args.manifest, args.remote):
-        print(repo.get('name'))
+        name = repo.get('name')
+        if name not in present:
+            print(name)
+            present.add(name)
 
 
 if __name__ == "__main__":