android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2024-12-21 07:16:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

init: Respect --quiet option when synching manifest repository

Browse Source 
Change-Id: Ib58b7dd971670e0888e6428333050700e776b0de
This commit is contained in:
David Pursehouse 2016-08-14 18:02:32 +09:00
parent 69297c1b77
commit 438eade413
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
subcmds/init.py
View File

@ -222,7 +222,7 @@ to update the working directory files.
'in another location.', file=sys.stderr)
sys.exit(1)
if not m.Sync_NetworkHalf(is_new=is_new):
if not m.Sync_NetworkHalf(is_new=is_new, quiet=opt.quiet):
r = m.GetRemote(m.remote.name)
print('fatal: cannot obtain manifest %s' % r.url, file=sys.stderr)