repopick: fix pick in the case of same name/path
* If the repo has the same path as the name, repo manifest returns only the name
* This breaks repopick, as it does not know where the repository is
* Fix it by setting the path as the name is there in no path
This case probably isn't too common, just one repository in our case - updater
Change-Id: I1fb5e6c07fca5e4fdb9c43aba28579fd51eee1ee
Signed-off-by: Akhil Narang <akhilnarang.1999@gmail.com>
Signed-off-by: Anirudh Gupta <anirudhgupta109@gmail.com>
diff --git a/build/tools/repopick.py b/build/tools/repopick.py
index 4e0152c..46228a2 100755
--- a/build/tools/repopick.py
+++ b/build/tools/repopick.py
@@ -242,6 +242,8 @@
for project in projects:
name = project.get('name')
path = project.get('path')
+ if path is None:
+ path=name
revision = project.get('revision')
if revision is None:
for remote in remotes: