diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-05-08 15:57:06 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-05-08 15:57:06 +0200 |
| commit | e6153b23d0824abdb324191e1622bfd4226dc38b (patch) | |
| tree | 43745bf3a681fd5649ceab5ace4c7790efe7a429 /bbot/utility.hxx | |
| parent | 7848221ece63119220464dcf1c5868db168effd2 (diff) | |
Soft-fail if result manifest is broken
Diffstat (limited to 'bbot/utility.hxx')
| -rw-r--r-- | bbot/utility.hxx | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bbot/utility.hxx b/bbot/utility.hxx index 73804a4..0506293 100644 --- a/bbot/utility.hxx +++ b/bbot/utility.hxx @@ -136,7 +136,10 @@ namespace bbot // template <typename T> T - parse_manifest (const path&, const char* what, bool ignore_unknown = true); + parse_manifest (const path&, + const char* what, + bool fail_hard = true, + bool ignore_unknown = true); template <typename T> T |