diff options
| -rw-r--r-- | subcmds/sync.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index 381e9e77..4d95b023 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
| @@ -307,7 +307,8 @@ later is required to fix a server side protocol bug. | |||
| 307 | submodules_ok=opt.fetch_submodules) | 307 | submodules_ok=opt.fetch_submodules) |
| 308 | manifest_path = superproject.UpdateProjectsRevisionId(all_projects) | 308 | manifest_path = superproject.UpdateProjectsRevisionId(all_projects) |
| 309 | if not manifest_path: | 309 | if not manifest_path: |
| 310 | print('error: Update of revsionId from superproject has failed', | 310 | print('error: Update of revsionId from superproject has failed. ' |
| 311 | 'Please resync with --no-use-superproject option', | ||
| 311 | file=sys.stderr) | 312 | file=sys.stderr) |
| 312 | sys.exit(1) | 313 | sys.exit(1) |
| 313 | self._ReloadManifest(manifest_path, load_local_manifests) | 314 | self._ReloadManifest(manifest_path, load_local_manifests) |