projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
.
[SXSI/xpathcomp.git]
/
benchmark
/
main.ml
diff --git
a/benchmark/main.ml
b/benchmark/main.ml
index
935528c
..
fff21c3
100644
(file)
--- a/
benchmark/main.ml
+++ b/
benchmark/main.ml
@@
-62,7
+62,9
@@
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 = [ "-d"; doc; q ]@ (if b then [qout] else [])
+ let mk_cmdline b qout qfile doc q =
+ let doc' = (Filename.chop_suffix doc ".xml")^".srx" in
+ [ 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]);