diff options
Diffstat (limited to 'manifest.py')
-rw-r--r-- | manifest.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/manifest.py b/manifest.py index 9137371f..32a7e513 100644 --- a/manifest.py +++ b/manifest.py | |||
@@ -138,6 +138,16 @@ class Manifest(object): | |||
138 | self.manifestFile | 138 | self.manifestFile |
139 | 139 | ||
140 | for node in config.childNodes: | 140 | for node in config.childNodes: |
141 | if node.nodeName == 'remove-project': | ||
142 | name = self._reqatt(node, 'name') | ||
143 | try: | ||
144 | del self._projects[name] | ||
145 | except KeyError: | ||
146 | raise ManifestParseError, \ | ||
147 | 'project %s not found' % \ | ||
148 | (name) | ||
149 | |||
150 | for node in config.childNodes: | ||
141 | if node.nodeName == 'remote': | 151 | if node.nodeName == 'remote': |
142 | remote = self._ParseRemote(node) | 152 | remote = self._ParseRemote(node) |
143 | if self._remotes.get(remote.name): | 153 | if self._remotes.get(remote.name): |