diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-07-10 15:29:19 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-07-10 15:29:19 +0000 |
| commit | 9d10503a1db772464ae05a1b9f79a6cfbe25629d (patch) | |
| tree | 2f58cd3b3bdc87c71bb254eefb9e4dc8353883a3 /Makefile.nt | |
| parent | b6a8a7b56e5220c7acd1b895d8265059aa7c9d0b (diff) | |
PR#5218: use $(MAKE) instead of "make" in Makefiles
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'Makefile.nt')
| -rw-r--r-- | Makefile.nt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.nt b/Makefile.nt index f591bd7f8..ae4c784dd 100644 --- a/Makefile.nt +++ b/Makefile.nt @@ -319,7 +319,7 @@ ocamlnat: ocamlopt otherlibs/dynlink/dynlink.cmxa $(NATTOPOBJS:.cmo=.cmx) toplevel/opttoploop.cmx: otherlibs/dynlink/dynlink.cmxa otherlibs/dynlink/dynlink.cmxa: otherlibs/dynlink/natdynlink.ml - cd otherlibs/dynlink && make allopt + cd otherlibs/dynlink && $(MAKE) allopt # The configuration file |