On Aug 9, 2010, at 1:00 PM, Rafael Espindola wrote: >>> So, getter/setter, flag or modify the module in the plugin? :-) >> >> Modifying module in plugin is my first preference. > > OK. Note that there is a lto_module_get_target_triple but not a > setter. Can I just add one? sure > >> - >> Devang > > Cheers, > -- > Rafael Ávila de Espíndola