This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / hbugs / common / Makefile.overrides

diff --git a/helm/hbugs/common/Makefile.overrides b/helm/hbugs/common/Makefile.overrides
deleted file mode 100644 (file)
index f1ce521..0000000
--- a/helm/hbugs/common/Makefile.overrides
+++ /dev/null
@@ -1,6 +0,0 @@
-hbugs_types.cmi hbugs_types.cmo: hbugs_types.ml
-       $(OCAMLC) -c $<
-threadSafe.cmi threadSafe.cmo: threadSafe.ml
-       $(OCAMLC) -package threads -c $<
-threadSafe.cmx: threadSafe.ml threadSafe.cmi
-       $(OCAMLOPT) -package threads -c $<