diff options
author | Ricardo Cerqueira <cyanogenmod@cerqueira.org> | 2013-06-26 23:45:26 +0100 |
---|---|---|
committer | Ricardo Cerqueira <cyanogenmod@cerqueira.org> | 2013-06-26 23:45:26 +0100 |
commit | 767350772b93c8dad1a438b67ef04ebab9b7cafe (patch) | |
tree | 3ce7aee8d70f2621bb89330ac22e7fc72edcdde6 | |
parent | ba2d49d4cdb95e6508d775f3ff148579318a1051 (diff) | |
download | build-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-x | tools/roomservice.py | 11 |
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): |