From f95f24412ea85149556b34abb91f06e247d6db6d Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Mon, 19 Jun 2023 18:45:26 +0300 Subject: Fix deinit command to try bpkg-pkg-build --deorphan if bpkg-pkg drop fails --- bdep/deinit.cli | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'bdep/deinit.cli') diff --git a/bdep/deinit.cli b/bdep/deinit.cli index e78cdbe..3ec0e72 100644 --- a/bdep/deinit.cli +++ b/bdep/deinit.cli @@ -47,6 +47,12 @@ namespace bdep configuration. This mode is primarily useful when the configuration directory has been removed or is otherwise unusable." } + + bool --no-fetch + { + "Do not re-fetch the repository information before attempting to replace + packages being deinitialized with versions from repositories." + } }; " -- cgit v1.1