summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--project.py14
1 files changed, 8 insertions, 6 deletions
diff --git a/project.py b/project.py
index 996fc02e..3ccfd140 100644
--- a/project.py
+++ b/project.py
@@ -3932,12 +3932,14 @@ class ManifestProject(MetaProject):
3932 if git_superproject.UseSuperproject(use_superproject, self.manifest): 3932 if git_superproject.UseSuperproject(use_superproject, self.manifest):
3933 sync_result = self.manifest.superproject.Sync(git_event_log) 3933 sync_result = self.manifest.superproject.Sync(git_event_log)
3934 if not sync_result.success: 3934 if not sync_result.success:
3935 print('warning: git update of superproject for ' 3935 submanifest = ''
3936 f'{self.manifest.path_prefix} failed, repo sync will not use ' 3936 if self.manifest.path_prefix:
3937 'superproject to fetch source; while this error is not fatal, ' 3937 submanifest = f'for {self.manifest.path_prefix} '
3938 'and you can continue to run repo sync, please run repo init ' 3938 print(f'warning: git update of superproject {submanifest}failed, repo '
3939 'with the --no-use-superproject option to stop seeing this ' 3939 'sync will not use superproject to fetch source; while this '
3940 'warning', file=sys.stderr) 3940 'error is not fatal, and you can continue to run repo sync, '
3941 'please run repo init with the --no-use-superproject option to '
3942 'stop seeing this warning', file=sys.stderr)
3941 if sync_result.fatal and use_superproject is not None: 3943 if sync_result.fatal and use_superproject is not None:
3942 return False 3944 return False
3943 3945