fix exit status

diff --git a/src/bin/otter.rs b/src/bin/otter.rs
index 04a8b33f917b141720c3eafee5ae7a1416569224..a6366283e6930cdf063cea5e4b701646204e30a7 100644 (file)
--- a/src/bin/otter.rs
+++ b/src/bin/otter.rs
@@ -123,6 +123,6 @@ fn main() {
     Cell::from_mut(&mut mainopts.scope);
     let opts = MainOpts::from_args();
 */
-  }.unwrap_or_else(|_already_printed| std::process::exit(12));
+  }.unwrap_or_else(|rc| std::process::exit(if rc!=0 { 12 } else { 0 }));
   println!("{:?}", &mainopts);
 }