diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-25 15:22:30 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-26 20:05:41 +0100 |
commit | 032f1a4ba8b5655b4f2396671061613aa8e2cf48 (patch) | |
tree | 77a190f068119f9f4b56b5df8d3ca2f06a6fbc00 /library/lib.ml | |
parent | ee72fb2936a4ff5032aa6b8fba3165cdb6ca448e (diff) |
Fixing bugs in options of the configure.
- usage ill-formed for -native-compiler
- compatibility with the configure of 8.4 (-force-caml-version),
though e.g. its force-ocaml-version alias is no longer supported
(but at the same time not documented either, so...)
Diffstat (limited to 'library/lib.ml')
0 files changed, 0 insertions, 0 deletions