From 4fa7f40fe43990420cb89c297db8def830f08bb5 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Wed, 23 Oct 2019 20:52:53 +0200
Subject: [PATCH] [scripts/mirror] Better use progress (too long otherwise)
---
bob/devtools/scripts/mirror.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bob/devtools/scripts/mirror.py b/bob/devtools/scripts/mirror.py
index 76c7ea8c..054eda8a 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)
--
GitLab