diff options
Diffstat (limited to 'manifest_xml.py')
-rw-r--r-- | manifest_xml.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 0859e1fb..73e34964 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
@@ -393,6 +393,10 @@ class XmlManifest(object): | |||
393 | def IsArchive(self): | 393 | def IsArchive(self): |
394 | return self.manifestProject.config.GetBoolean('repo.archive') | 394 | return self.manifestProject.config.GetBoolean('repo.archive') |
395 | 395 | ||
396 | @property | ||
397 | def HasSubmodules(self): | ||
398 | return self.manifestProject.config.GetBoolean('repo.submodules') | ||
399 | |||
396 | def _Unload(self): | 400 | def _Unload(self): |
397 | self._loaded = False | 401 | self._loaded = False |
398 | self._projects = {} | 402 | self._projects = {} |