Completely silences the output unless -v is given.

[SXSI/xpathcomp.git] / src / options.ml

diff --git a/src/options.ml b/src/options.ml
index 1975212..6dfaaef 100644 (file)
--- a/src/options.ml
+++ b/src/options.ml
@@ -113,7 +113,8 @@ let parse_cmdline() =
   let _ = Arg.parse spec anon_fun usage_msg
   in
   if (!pos > 3 || !pos < 2)
-  then begin Arg.usage spec usage_msg; exit 1 end
+  then begin Arg.usage spec usage_msg; exit 1 end;
+  Logger.set_verbose !verbose