projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add a command line option to disable the indexing of ignorable whitespaces.
[SXSI/xpathcomp.git]
/
src
/
options.ml
diff --git
a/src/options.ml
b/src/options.ml
index
cec31bc
..
0c7c92d
100644
(file)
--- a/
src/options.ml
+++ b/
src/options.ml
@@
-1,7
+1,7
@@
open Utils
open Format
open Utils
open Format
-let index_empty_texts = ref
fals
e
+let index_empty_texts = ref
tru
e
let sample_factor = ref 64
let disable_text_collection = ref false
let tc_threshold = ref 60000
let sample_factor = ref 64
let disable_text_collection = ref false
let tc_threshold = ref 60000
@@
-67,8
+67,8
@@
let spec = Arg.align
"-f", Arg.Set_int(sample_factor),
"<n> sample factor [default=64]";
"-f", Arg.Set_int(sample_factor),
"<n> sample factor [default=64]";
- "-
i", Arg.Set
(index_empty_texts),
- "
index empty texts [default=false
]";
+ "-
ne", Arg.Clear
(index_empty_texts),
+ "
don't index empty texts [default=index
]";
"-d", Arg.Set(disable_text_collection),
" disable text collection[default=false]";
"-d", Arg.Set(disable_text_collection),
" disable text collection[default=false]";