diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-11-09 09:14:54 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-11-09 09:14:54 +0000 |
| commit | 54d25275570fdaa04ee3583ad0ef90ec2a18433a (patch) | |
| tree | 97857ddb8f5253e9dc4f4d247c8167461cb7f1cb | |
| parent | 8ead6cda819c22378a48a8bf1033238c9e011548 (diff) | |
Ajout option -rectypes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 cf9b894d0..2654eaa4d 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -50,6 +50,7 @@ module Options = Main_args.Make_options (struct let _o s = option_with_arg "-o" s let _output_obj = option "-output-obj" let _pp s = incompatible "-pp" + let _rectypes = option "-rectypes" let _thread () = ismultithreaded := "-thread"; option "-thread" () let _unsafe = option "-unsafe" let _use_prims s = option_with_arg "-use-prims" s |