diff options
-rw-r--r-- | manifest_xml.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 09cae6f5..ab4be2f5 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
@@ -791,9 +791,10 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | |||
791 | for node in itertools.chain(*node_list): | 791 | for node in itertools.chain(*node_list): |
792 | if node.nodeName == 'default': | 792 | if node.nodeName == 'default': |
793 | new_default = self._ParseDefault(node) | 793 | new_default = self._ParseDefault(node) |
794 | emptyDefault = not node.hasAttributes() and not node.hasChildNodes() | ||
794 | if self._default is None: | 795 | if self._default is None: |
795 | self._default = new_default | 796 | self._default = new_default |
796 | elif new_default != self._default: | 797 | elif not emptyDefault and new_default != self._default: |
797 | raise ManifestParseError('duplicate default in %s' % | 798 | raise ManifestParseError('duplicate default in %s' % |
798 | (self.manifestFile)) | 799 | (self.manifestFile)) |
799 | 800 | ||