diff options
Diffstat (limited to 'bpkg/system-package-manager.cxx')
-rw-r--r-- | bpkg/system-package-manager.cxx | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bpkg/system-package-manager.cxx b/bpkg/system-package-manager.cxx index aa71284..5e556f9 100644 --- a/bpkg/system-package-manager.cxx +++ b/bpkg/system-package-manager.cxx @@ -35,6 +35,10 @@ namespace bpkg const string& sudo, const string& name) { + optional<bool> progress (co.progress () ? true : + co.no_progress () ? false : + optional<bool> ()); + unique_ptr<system_package_manager> r; if (optional<os_release> osr = host_os_release (host)) @@ -63,7 +67,7 @@ namespace bpkg // @@ TODO: verify name if specified. r.reset (new system_package_manager_debian ( - co, move (*osr), install, fetch, yes, sudo)); + move (*osr), install, fetch, progress, yes, sudo)); } } } |