diff --git a/build_tools/fetch_sources.py b/build_tools/fetch_sources.py index a8829b2980..32de083b9d 100755 --- a/build_tools/fetch_sources.py +++ b/build_tools/fetch_sources.py @@ -55,6 +55,8 @@ def run(args): update_args = [] if args.depth: update_args += ["--depth", str(args.depth)] + if args.progress: + update_args += ["--progress"] if args.jobs: update_args += ["--jobs", str(args.jobs)] if args.remote: @@ -275,6 +277,8 @@ def populate_submodules_if_exists(args, git_dir: Path): update_args = ["--depth", str(args.depth)] if args.jobs: update_args += ["--jobs", str(args.jobs)] + if args.progress: + update_args += ["--progress"] exec(["git", "submodule", "update", "--init"] + update_args, cwd=git_dir) @@ -307,6 +311,12 @@ def main(argv): parser.add_argument( "--depth", type=int, help="Git depth when updating submodules", default=None ) + parser.add_argument( + "--progress", + default=False, + action="store_true", + help="Git progress displayed when updating submodules", + ) parser.add_argument( "--jobs", type=int,