X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftable_options.ml;h=f2b00163574a7f731521294f77089d16dd450cbb;hb=11fd750e5f19e421768ec72c511b631e7b009365;hp=22122b3be83b6fe8451b80c72576f6ed22446fa4;hpb=29eaf0ea22dbf0a169d7e6e8619a2f21d358d873;p=tatoo.git

diff --git a/src/table_options.ml b/src/table_options.ml
index 22122b3..f2b0016 100644
--- a/src/table_options.ml
+++ b/src/table_options.ml
@@ -1,15 +1,18 @@
 open Arg
 
-
+let count = ref false
 let input_file : string option ref = ref None
 let output_file : string option ref = ref None
 let queries = ref []
 
 
+
 let set_string_option r s = r := Some s 
 
 let specs = align [
- 
+   "-c", Set count,
+        " write the number of results only";
+  "--count", Set count, " ";
   "-d", String (set_string_option input_file),
         " specify the input document file [default stdin]";
   "--doc", String (set_string_option input_file), " ";