| Anonymous | Login | Signup for a new account | 2013-05-24 20:21 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||||||
| 0005510 | OCaml | OCaml tools (ocaml{lex,yacc,dep,browser}) | public | 2012-02-19 05:01 | 2012-02-19 18:02 | |||||||
| Reporter | jm | |||||||||||
| Assigned To | meyer | |||||||||||
| Priority | low | Severity | trivial | Reproducibility | have not tried | |||||||
| Status | resolved | Resolution | fixed | |||||||||
| Platform | OS | OS Version | ||||||||||
| Product Version | ||||||||||||
| Target Version | Fixed in Version | 3.13.0+dev | ||||||||||
| Summary | 0005510: ocamldep has duplicate -ml{,i}-synonym options. | |||||||||||
| Description | % git diff tools/ocamldep.ml diff --git a/tools/ocamldep.ml b/tools/ocamldep.ml index f808499..0317fbe 100644 --- a/tools/ocamldep.ml +++ b/tools/ocamldep.ml @@ -437,10 +437,6 @@ let _ = "<e> Consider <e> as a synonym of the .ml extension"; "-mli-synonym", Arg.String(add_to_synonym_list mli_synonyms), "<e> Consider <e> as a synonym of the .mli extension"; - "-ml-synonym", Arg.String(add_to_synonym_list ml_synonyms), - "<e> Consider <e> as a synonym of the .ml extension"; - "-mli-synonym", Arg.String(add_to_synonym_list mli_synonyms), - "<e> Consider <e> as a synonym of the .mli extension"; "-sort", Arg.Set sort_files, " Sort files according to their dependencies"; "-modules", Arg.Set raw_dependencies, | |||||||||||
| Tags | No tags attached. | |||||||||||
| Attached Files | ||||||||||||
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-02-19 05:01 | jm | New Issue | |
| 2012-02-19 17:56 | meyer | Assigned To | => meyer |
| 2012-02-19 17:56 | meyer | Status | new => assigned |
| 2012-02-19 18:01 | meyer | Note Added: 0006940 | |
| 2012-02-19 18:02 | meyer | Status | assigned => resolved |
| 2012-02-19 18:02 | meyer | Fixed in Version | => 3.13.0+dev |
| 2012-02-19 18:02 | meyer | Resolution | open => fixed |
| Copyright © 2000 - 2011 MantisBT Group |