patches/ocaml.patch

   1 diff --git a/Makefile.shared b/Makefile.shared
   2 index f79b632..7edfce0 100644
   3 --- a/third-party/ocaml/src/Makefile.shared
   4 +++ b/third-party/ocaml/src/Makefile.shared
   5 @@ -228,17 +228,17 @@ partialclean::
   6  ocamltools: ocamlc ocamlyacc ocamllex asmcomp/cmx_format.cmi \
   7              asmcomp/printclambda.cmo compilerlibs/ocamlmiddleend.cma \
   8              asmcomp/export_info.cmo
   9 -       cd tools ; $(MAKEREC) all
  10 +       +cd tools ; $(MAKEREC) all
  11
  12  ocamltoolsopt: ocamlopt
  13 -       cd tools; $(MAKEREC) opt
  14 +       +cd tools; $(MAKEREC) opt
  15
  16  ocamltoolsopt.opt: ocamlc.opt ocamlyacc ocamllex asmcomp/cmx_format.cmi \
  17                     asmcomp/printclambda.cmx
  18 -       cd tools; $(MAKEREC) opt.opt
  19 +       +cd tools; $(MAKEREC) opt.opt
  20
  21  partialclean::
  22 -       cd tools; $(MAKEREC) clean
  23 +       +cd tools; $(MAKEREC) clean
  24
  25  alldepend::
  26 -       cd tools; $(MAKEREC) depend
  27 +       +cd tools; $(MAKEREC) depend