diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2015-12-07 13:33:29 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2015-12-07 13:33:29 +0200 |
commit | 74bbd943c042478ac550ba7bf6fec0a14ae14bcf (patch) | |
tree | 90fbe65a3fc60fa2acc068d32f4a3a789cc0a41a /bpkg/rep-create-options.cli | |
parent | 8826b24d68f3caff30ec0b70762073760dc8eb72 (diff) |
Ignoring unknown manifest entries where appropriate
Diffstat (limited to 'bpkg/rep-create-options.cli')
-rw-r--r-- | bpkg/rep-create-options.cli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bpkg/rep-create-options.cli b/bpkg/rep-create-options.cli index 13c3b3d..70ca78d 100644 --- a/bpkg/rep-create-options.cli +++ b/bpkg/rep-create-options.cli @@ -19,5 +19,10 @@ namespace bpkg "Use <dir> as the repository root directory instead of the current working directory." */ + + bool --ignore-unknown + { + "Ignore unknown manifest entries." + } }; } |