Hi! On 2012-05-13T11:03:36+0000, "Joseph S. Myers" wrote: > On Sun, 13 May 2012, Manuel Lpez-Ibez wrote: >> [an option is duplicated somewhere else] >> >> Only 2 options in Ada trigger this warning, and their help text has no >> effect, since it gest overridden by the ones in c.opt. Fixing this >> properly would require language-specific namespace, so two options >> with the same name in different languages can have completely >> different help text (and Init() and other flags). Not something I am >> planning to work on in the future. ;-) > I don't think we want to support different help strings for > different languages; if an option is supported for multiple languages, we > should have a generic description of that option that is correct for all > of them. To not just bury that in the email archives: OK to push the attached "options: Clarifications around option definition records' help texts"? Grüße Thomas ----------------- Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht München, HRB 106955