diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1998-10-02 12:40:44 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1998-10-02 12:40:44 +0000 |
| commit | 89074600b8f8425a829f253a27580b5548fd8193 (patch) | |
| tree | 55adfa794b11c201a66b31352170d618d48b759f /tools/ocamlcp.ml | |
| parent | 55668b9dd258e9d2b0777d5cac0d6f450b2394b7 (diff) | |
| download | ocaml-89074600b8f8425a829f253a27580b5548fd8193.tar.gz | |
ajout option -use_prims
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/ocamlcp.ml')
| -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 d8edc6410e..4b6aa95e21 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -49,6 +49,7 @@ module Options = Main_args.Make_options (struct let _pp s = incompatible "-pp" let _thread () = incompatible "-thread" let _unsafe = option "-unsafe" + let _use_prims s = option_with_arg "-use_prims" s let _use_runtime s = option_with_arg "-use_runtime" s let _v = option "-v" let _verbose = option "-verbose" |