fixed a typo (inside a comment)

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

diff --git a/helm/hbugs/common/Makefile.overrides b/helm/hbugs/common/Makefile.overrides
index f1ce521218822256ef15a04b1fecd0f90a37efc0..62506b5052df8edc5d5df2394358724e36e6d0aa 100644 (file)
--- a/helm/hbugs/common/Makefile.overrides
+++ b/helm/hbugs/common/Makefile.overrides
@@ -1,6 +1,6 @@
 hbugs_types.cmi hbugs_types.cmo: hbugs_types.ml
        $(OCAMLC) -c $<
 threadSafe.cmi threadSafe.cmo: threadSafe.ml
-       $(OCAMLC) -package threads -c $<
+       $(OCAMLC) -thread -package threads -c $<
 threadSafe.cmx: threadSafe.ml threadSafe.cmi
-       $(OCAMLOPT) -package threads -c $<
+       $(OCAMLOPT) -thread -package threads -c $<