X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fmain.ml;h=fff21c3248973c792ddd3b9e83605e5679848132;hb=36154bd9b953b84d539d2505d94c414b2e3c72e6;hp=935528c5ff12ae115cc1af1c1b20315156576228;hpb=1c5c95673d1d3595f948e5dc674861a1f86b6158;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/main.ml b/benchmark/main.ml
index 935528c..fff21c3 100644
--- 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 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]);