diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2013-06-16 19:07:45 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2013-06-16 19:07:45 +0000 |
| commit | 122caaf20b03e920a88677cf030901981c60781b (patch) | |
| tree | dd935c8c01d60c1d8233c0a0a3f7729ea09d6ac4 /byterun/unix.c | |
| parent | f79d1a4e2dd68a268cdb12f809624ada19503d06 (diff) | |
ocamlbuild: when tag "native" is set, use ocamlopt instead of ocamlc for .mli->.cmi
This was requested (with a patch proposal) by "jessicah" in
PR#4613. Given that the effect of such changes are hard to test,
I commit this in trunk only, not version-4.01, to give more time to
detect eventual problems.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13787 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/unix.c')
0 files changed, 0 insertions, 0 deletions