diff options
| author | Alain Frisch <alain@frisch.fr> | 2015-04-22 10:53:47 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2015-04-22 10:53:47 +0000 |
| commit | 918f584b64426b1f1feae202234f2e2deced6ad0 (patch) | |
| tree | df7fd8b5594a75a5015b540f9784eb80f3a74ffe /tools | |
| parent | 8d1f813dee4b2ec6520e63cf5788341d4d1aff04 (diff) | |
| download | ocaml-918f584b64426b1f1feae202234f2e2deced6ad0.tar.gz | |
#6845: -no-check-prims to tell ocamlc not to check primitives in runtime.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16031 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 51559aea3e..494dcb4b7a 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -67,6 +67,7 @@ module Options = Main_args.Make_bytecomp_options (struct let _make_runtime = option "-make-runtime" let _no_alias_deps = option "-no-alias-deps" let _no_app_funct = option "-no-app-funct" + let _no_check_prims = option "-no-check-prims" let _noassert = option "-noassert" let _nolabels = option "-nolabels" let _noautolink = option "-noautolink" |