X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fdepend;h=9572b5f14d424d9e2c9538d5e0c60b5bcc72a66b;hb=f84dd2f6de7d5da16da729dc2e91cbdeb3585d75;hp=35976b345f5e0bf9dee60ccbf0424b767d2485f0;hpb=3623eefccfb5fc69e19ad975a3669f51a2a8b276;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/depend b/benchmark/depend
index 35976b3..9572b5f 100644
--- a/benchmark/depend
+++ b/benchmark/depend
@@ -2,3 +2,4 @@ benchmark.cmo: benchmark.cmi
 benchmark.cmx: benchmark.cmi 
 main.cmo: benchmark.cmi 
 main.cmx: benchmark.cmx 
+benchmark.cmi: