diff --git a/bob/devtools/scripts/mirror.py b/bob/devtools/scripts/mirror.py index 76c7ea8c6077086470287867b3ae21c104d305bc..054eda8ae194a6f3f5431cae000d589e7df2e63a 100644 --- a/bob/devtools/scripts/mirror.py +++ b/bob/devtools/scripts/mirror.py @@ -196,5 +196,5 @@ def mirror( if not dry_run: from conda_build.index import MAX_THREADS_DEFAULT conda_build.api.update_index([dest_dir], check_md5=check_md5, - progress=False, verbose=False, subdir=DEFAULT_SUBDIRS, + progress=True, verbose=False, subdir=DEFAULT_SUBDIRS, threads=MAX_THREADS_DEFAULT)