X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fdepend;h=9572b5f14d424d9e2c9538d5e0c60b5bcc72a66b;hb=95367aa932a9e179976e59ea326542c50905f5b3;hp=35976b345f5e0bf9dee60ccbf0424b767d2485f0;hpb=b821684aac2e3114c2eb28188020d7a09b5de2a5;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: