From 5dcf7ac0872bb6d89cf059118355af7762e059b1 Mon Sep 17 00:00:00 2001
From: Hui Yiqun <huiyiqun@gmail.com>
Date: Tue, 27 Dec 2016 09:55:55 +0800
Subject: [PATCH] remove duplicated names

---
 helpers/manifest-xml-repolist.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/helpers/manifest-xml-repolist.py b/helpers/manifest-xml-repolist.py
index dde257d..5b3879f 100755
--- 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__":