diff options
| author | Nicolas Pouillard <np@nicolaspouillard.fr> | 2006-07-07 06:46:54 +0000 |
|---|---|---|
| committer | Nicolas Pouillard <np@nicolaspouillard.fr> | 2006-07-07 06:46:54 +0000 |
| commit | bbcc75612bbd9ba2c74e216f803201876cea2986 (patch) | |
| tree | fa2320fe21ea423b7d2e9daafc907ac3a089d084 /camlp4 | |
| parent | 18081aac436de99cfe9083910e6b0ae09bf112d4 (diff) | |
Add -- to the option parser for backward compatibility
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4')
| -rw-r--r-- | camlp4/Camlp4Bin.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/camlp4/Camlp4Bin.ml b/camlp4/Camlp4Bin.ml index 94714aeb9..095cf0965 100644 --- a/camlp4/Camlp4Bin.ml +++ b/camlp4/Camlp4Bin.ml @@ -253,7 +253,8 @@ value initial_spec_list = ("-printer", Arg.String (rewrite_and_load "Printers"), "<name> Load the printer Camlp4Printers/<name>.cmo"); ("-filter", Arg.String (rewrite_and_load "Filters"), - "<name> Load the filter Camlp4Filters/<name>.cmo") + "<name> Load the filter Camlp4Filters/<name>.cmo"); + ("--", Arg.Unit ignore, "Deprecated, does nothing") ]; Options.init initial_spec_list; |