diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-07-26 18:40:45 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-26 18:40:45 -0500 |
commit | 331862adaf29c3a73db4156fd346b7755123fa3e (patch) | |
tree | 2caebefbe0c3c65b3fcb011ff3a13d7054299c14 | |
parent | be5502223dcaf7e635fe3f07837720dd85a49518 (diff) | |
parent | b11110539a608154cdbd972e276e0726bca66fe5 (diff) |
Auto merge of #858 - fitzgen:report-unknown-generate-item, r=emilio
Report what the unknown generate item was when parsing `--generate`
r? @emilio
-rw-r--r-- | src/options.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/options.rs b/src/options.rs index 23df6370..3d54eb39 100644 --- a/src/options.rs +++ b/src/options.rs @@ -302,9 +302,10 @@ pub fn builder_from_flags<I> "methods" => config.methods = true, "constructors" => config.constructors = true, "destructors" => config.destructors = true, - _ => { + otherwise => { return Err(Error::new(ErrorKind::Other, - "Unknown generate item")); + format!("Unknown generate item: {}", + otherwise))); } } } |