Don't index empty texts

[SXSI/xpathcomp.git] / benchmark / depend

diff --git a/benchmark/depend b/benchmark/depend
index 35976b3..9572b5f 100644 (file)
--- 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: