diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2001-02-19 20:27:52 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2001-02-19 20:27:52 +0000 |
| commit | eb7578b8db11dbed6960a35abab066ca514592ff (patch) | |
| tree | ad68142169fee502c7f60d073af69121c726495d /driver | |
| parent | a9c4a16caaac6a3fe6907dd87cc63366fc492ef8 (diff) | |
| download | ocaml-eb7578b8db11dbed6960a35abab066ca514592ff.tar.gz | |
optimsation pm a donf
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/optmain.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/driver/optmain.ml b/driver/optmain.ml index 19b1941d2e..6a3854f884 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -150,10 +150,6 @@ let main () = "-dscheduling", Arg.Set dump_scheduling, " (undocumented)"; "-dlinear", Arg.Set dump_linear, " (undocumented)"; "-dstartup", Arg.Set keep_startup_file, " (undocumented)"; - - "-switch", Arg.Int (fun i -> limit_switch := i), " (undocumented)"; - "-tree", Arg.Int (fun i -> limit_tree := i), " (undocumented)"; - "-", Arg.String (process_file ppf), "<file> Treat <file> as a file name (even if it starts with `-')" ] (process_file ppf) usage; |