X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.ml;fp=src%2Foptions.ml;h=1e349a6f48f82014df776aa5a14b674ef4cf9fbc;hb=0da8c3c7c76ab06d5ccfc6ae52488d7549735059;hp=0c7c92d8abcdcbe9dbb2c0501f712f9a778afd62;hpb=50da4f8d437372ae53be11a68beb424b35b28966;p=SXSI%2Fxpathcomp.git

diff --git a/src/options.ml b/src/options.ml
index 0c7c92d..1e349a6 100644
--- a/src/options.ml
+++ b/src/options.ml
@@ -19,6 +19,7 @@ let text_index_type = ref 0
 let do_perf = ref false
 let twopass = ref false
 let repeat = ref 1
+let docstats = ref false
 
 let set_index_type = function
   | "default" -> text_index_type := 0
@@ -89,6 +90,8 @@ let spec = Arg.align
     "-r", Arg.Set_int(repeat),
     " repeat query execution n time (benchmarking only, default 1)";
 
+    "-doc-stats", Arg.Set(docstats),
+    " Compute document statistics (performs full traversal)";
 
 
     "-v", Arg.Set(verbose), " verbose mode"; ] @