cherry pick from local- branch

[SXSI/xpathcomp.git] / benchmark / depend

diff --git a/benchmark/depend b/benchmark/depend
index 9572b5f..7526dc6 100644 (file)
--- a/benchmark/depend
+++ b/benchmark/depend
@@ -1,5 +1,2 @@
 benchmark.cmo: benchmark.cmi 
 benchmark.cmx: benchmark.cmi 
-main.cmo: benchmark.cmi 
-main.cmx: benchmark.cmx 
-benchmark.cmi: