diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2019-03-13 09:46:30 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-03-13 10:46:30 +0100 |
| commit | 6e849877155e99a0ca5cc04604301ca6655a2b8a (patch) | |
| tree | a6b04fd3283f2b9977ab938bce80ed95fc8c6e17 /tools | |
| parent | f9099524e2e73d2b112f39cd50d94bc2fda6a509 (diff) | |
| download | ocaml-6e849877155e99a0ca5cc04604301ca6655a2b8a.tar.gz | |
Restore -vmthreads flag as an error (#2312)
This GPR restores -vmthread with an adapted version of the deprecation message as an error message and also keeps the use_vmthreads part of ppx contexts.
* Partially revert #2289
* Convert -vmthread to an error
* Neuter use_vmthreads in ppx context
* Remove Clflags.use_vmthreads
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/ocamlcp.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml index 5184d3b8b8..4a0f96b42d 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -94,6 +94,7 @@ module Options = Main_args.Make_bytecomp_options (struct let _strict_formats = ignore let _no_strict_formats = ignore let _thread = ignore + let _vmthread = ignore let _unboxed_types = ignore let _no_unboxed_types = ignore let _unsafe = ignore |