summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRicardo Cerqueira <cyanogenmod@cerqueira.org>2013-06-26 23:45:26 +0100
committerRicardo Cerqueira <cyanogenmod@cerqueira.org>2013-06-26 23:45:26 +0100
commit767350772b93c8dad1a438b67ef04ebab9b7cafe (patch)
tree3ce7aee8d70f2621bb89330ac22e7fc72edcdde6
parentba2d49d4cdb95e6508d775f3ff148579318a1051 (diff)
downloadbuild-767350772b93c8dad1a438b67ef04ebab9b7cafe.zip
build-767350772b93c8dad1a438b67ef04ebab9b7cafe.tar.gz
build-767350772b93c8dad1a438b67ef04ebab9b7cafe.tar.bz2
roomservice: When validating the presence of a repo, check main manifest too
Change-Id: If680536484074b473458723d93e783d074d7f669
-rwxr-xr-xtools/roomservice.py11
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/roomservice.py b/tools/roomservice.py
index 4175b81..16e6d1b 100755
--- a/tools/roomservice.py
+++ b/tools/roomservice.py
@@ -146,6 +146,17 @@ def is_in_manifest(projectname):
if localpath.get("name") == projectname:
return 1
+ ## Search in main manifest, too
+ try:
+ lm = ElementTree.parse(".repo/manifest.xml")
+ lm = lm.getroot()
+ except:
+ lm = ElementTree.Element("manifest")
+
+ for localpath in lm.findall("project"):
+ if localpath.get("name") == projectname:
+ return 1
+
return None
def add_to_manifest(repositories, fallback_branch = None):