projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@84 3cdefd35-fc62-479d...
[SXSI/xpathcomp.git]
/
benchmark
/
main.ml
diff --git
a/benchmark/main.ml
b/benchmark/main.ml
index
7f6b3ad
..
93c673b
100644
(file)
--- a/
benchmark/main.ml
+++ b/
benchmark/main.ml
@@
-62,7
+62,7
@@
struct
let reference = false
let time_factor = 1.0
let mk_queryfile b doc q out = ()
let reference = false
let time_factor = 1.0
let mk_queryfile b doc q out = ()
- let mk_cmdline b qout qfile doc q = [ doc; q ]@ (if b then [qout] else [])
+ let mk_cmdline b qout qfile doc q = [
"-d";
doc; q ]@ (if b then [qout] else [])
let parse_rules =
[ ( ".*Parsing document :[ \\t]*\\([0-9]+\\.[0-9]*\\)ms.*",
[ Input_parsing_time 1]);
let parse_rules =
[ ( ".*Parsing document :[ \\t]*\\([0-9]+\\.[0-9]*\\)ms.*",
[ Input_parsing_time 1]);