diff --git a/bob/devtools/scripts/mirror.py b/bob/devtools/scripts/mirror.py index cdca9a5c29093783a5ad07b552b3801987e3b961..5dded9fb905b5cea50a3fe1db25c3c51c05401a6 100644 --- a/bob/devtools/scripts/mirror.py +++ b/bob/devtools/scripts/mirror.py @@ -112,6 +112,7 @@ def mirror( dry_run, tmpdir, patch, + checksum, ): """Mirrors a conda channel to a particular local destination