aboutsummaryrefslogtreecommitdiff
path: root/bpkg/fetch
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2015-12-07 13:33:29 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2015-12-07 13:33:29 +0200
commit74bbd943c042478ac550ba7bf6fec0a14ae14bcf (patch)
tree90fbe65a3fc60fa2acc068d32f4a3a789cc0a41a /bpkg/fetch
parent8826b24d68f3caff30ec0b70762073760dc8eb72 (diff)
Ignoring unknown manifest entries where appropriate
Diffstat (limited to 'bpkg/fetch')
-rw-r--r--bpkg/fetch12
1 files changed, 8 insertions, 4 deletions
diff --git a/bpkg/fetch b/bpkg/fetch
index 9a58cc3..4d7d78e 100644
--- a/bpkg/fetch
+++ b/bpkg/fetch
@@ -13,13 +13,17 @@
namespace bpkg
{
- repository_manifests fetch_repositories (const dir_path&);
+ repository_manifests fetch_repositories (const dir_path&,
+ bool ignore_unknown);
repository_manifests fetch_repositories (const common_options&,
- const repository_location&);
+ const repository_location&,
+ bool ignore_unknown);
- package_manifests fetch_packages (const dir_path&);
+ package_manifests fetch_packages (const dir_path&,
+ bool ignore_unknown);
package_manifests fetch_packages (const common_options&,
- const repository_location&);
+ const repository_location&,
+ bool ignore_unknown);
path
fetch_archive (const common_options&,