diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2023-06-19 18:45:26 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2023-06-21 12:39:53 +0300 |
| commit | f95f24412ea85149556b34abb91f06e247d6db6d (patch) | |
| tree | d6f019f3b74695bb8322705400a8d8f5430a5a9f /bdep/deinit.cli | |
| parent | 8336fe72ab8b4a93c54ca775ca88c567cc91c82c (diff) | |
Fix deinit command to try bpkg-pkg-build --deorphan if bpkg-pkg drop fails
Diffstat (limited to 'bdep/deinit.cli')
| -rw-r--r-- | bdep/deinit.cli | 6 |
1 files changed, 6 insertions, 0 deletions
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." + } }; " |