diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2000-03-20 21:00:11 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2000-03-20 21:00:11 +0000 |
| commit | df6ced1fc954749fd1918305d041fbf06f5bb776 (patch) | |
| tree | fa9c387ad2ca57f707ca510861bd5777d00dc845 /toplevel | |
| parent | 06fc55f848250701806c6063933fb20d3075a33f (diff) | |
| download | ocaml-df6ced1fc954749fd1918305d041fbf06f5bb776.tar.gz | |
"modern" -> "label" suite (et fin ?)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2976 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/topdirs.ml | 2 | ||||
| -rw-r--r-- | toplevel/topmain.ml | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index dd89eca9bb..b21a12ec45 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -241,7 +241,7 @@ let _ = (* Set various compiler flags *) - Hashtbl.add directive_table "modern" + Hashtbl.add directive_table "label" (Directive_bool(fun b -> Clflags.classic := not b)); Hashtbl.add directive_table "warnings" diff --git a/toplevel/topmain.ml b/toplevel/topmain.ml index 79468b1ab8..186c9f8e7e 100644 --- a/toplevel/topmain.ml +++ b/toplevel/topmain.ml @@ -23,7 +23,8 @@ let main () = Arg.parse [ "-I", Arg.String(fun dir -> include_dirs := dir :: !include_dirs), "<dir> Add <dir> to the list of include directories"; - "-modern", Arg.Clear classic, " Use strict label syntax"; + "-label", Arg.Clear classic, " Use strict label syntax"; + "-modern", Arg.Clear classic, " (deprecated) same as -label"; "-noassert", Arg.Set noassert, " Do not compile assertion checks"; "-rectypes", Arg.Set recursive_types, " Allow arbitrary recursive types"; "-unsafe", Arg.Set fast, " No bound checking on array and string access"; |