diff options
| author | Nicolas Pouillard <np@nicolaspouillard.fr> | 2008-11-28 18:46:47 +0000 |
|---|---|---|
| committer | Nicolas Pouillard <np@nicolaspouillard.fr> | 2008-11-28 18:46:47 +0000 |
| commit | 686b90b26e56d7b8f9517248317a558e2d1a2480 (patch) | |
| tree | 97359162967c3c9697703e7f51226363c7ed0247 | |
| parent | 04f20f8b83e4e18a84e30944ca45ae1ed8232840 (diff) | |
camlp4: Update the help message to cmxs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9145 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/Camlp4Bin.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/camlp4/Camlp4Bin.ml b/camlp4/Camlp4Bin.ml index 5e9ff0fd4..5a029b940 100644 --- a/camlp4/Camlp4Bin.ml +++ b/camlp4/Camlp4Bin.ml @@ -176,7 +176,7 @@ Options: <file>.ml Parse this implementation file <file>.mli Parse this interface file <file>.%s Load this module inside the Camlp4 core@." -(if DynLoader.is_native then "cmx " else "(cmo|cma)") +(if DynLoader.is_native then "cmxs " else "(cmo|cma)") ; Options.print_usage_list ini_sl; (* loop (ini_sl @ ext_sl) where rec loop = @@ -268,11 +268,11 @@ value initial_spec_list = "Don't parse quotations, allowing to use, e.g. \"<:>\" as token."); ("-loaded-modules", Arg.Set print_loaded_modules, "Print the list of loaded modules."); ("-parser", Arg.String (rewrite_and_load "Parsers"), - "<name> Load the parser Camlp4Parsers/<name>.cmo"); + "<name> Load the parser Camlp4Parsers/<name>.cm(o|a|xs)"); ("-printer", Arg.String (rewrite_and_load "Printers"), - "<name> Load the printer Camlp4Printers/<name>.cmo"); + "<name> Load the printer Camlp4Printers/<name>.cm(o|a|xs)"); ("-filter", Arg.String (rewrite_and_load "Filters"), - "<name> Load the filter Camlp4Filters/<name>.cmo"); + "<name> Load the filter Camlp4Filters/<name>.cm(o|a|xs)"); ("-ignore", Arg.String ignore, "ignore the next argument"); ("--", Arg.Unit ignore, "Deprecated, does nothing") ]; |