diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2002-02-14 15:17:11 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2002-02-14 15:17:11 +0000 |
| commit | 130e3415fd6aa5554619b64522305cb0a163e722 (patch) | |
| tree | 8d724a53a6fd3d34c31e2a2e41f28262c97efcc7 /toplevel/topmain.ml | |
| parent | 41ec2d8ed070dd70ca61957f973fd767c040665f (diff) | |
| download | ocaml-130e3415fd6aa5554619b64522305cb0a163e722.tar.gz | |
ajout option -nostdlib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/topmain.ml')
| -rw-r--r-- | toplevel/topmain.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/toplevel/topmain.ml b/toplevel/topmain.ml index 4875f253cd..5181ea9374 100644 --- a/toplevel/topmain.ml +++ b/toplevel/topmain.ml @@ -43,6 +43,8 @@ let main () = "-labels", Arg.Clear classic, " Labels commute (default)"; "-noassert", Arg.Set noassert, " Do not compile assertion checks"; "-nolabels", Arg.Set classic, " Ignore labels and do not commute"; + "-nostdlib", Arg.Set no_std_include, + " do not add default directory to the list of include directories"; "-rectypes", Arg.Set recursive_types, " Allow arbitrary recursive types"; "-unsafe", Arg.Set fast, " No bound checking on array and string access"; "-w", Arg.String (Warnings.parse_options false), |