cc:Diego
On Tue, May 7, 2013 at 2:41 PM, Sriraman Tallam <tmsri...@google.com> wrote: > Ping. > > On Thu, May 2, 2013 at 3:51 PM, Sriraman Tallam <tmsri...@google.com> wrote: >> Ping. >> >> On Mon, Apr 29, 2013 at 10:47 AM, Sriraman Tallam <tmsri...@google.com> >> wrote: >>> On Thu, Apr 25, 2013 at 12:41 PM, Joseph S. Myers >>> <jos...@codesourcery.com> wrote: >>>> On Tue, 16 Apr 2013, Sriraman Tallam wrote: >>>> >>>>> Ok, it is on by default now. There is a way to turn it off, with >>>>> -mno-generate-builtins. >>>> >>>> Any new option needs documenting in invoke.texi. >>> >>> Added and new patch attached. >>> >>> Thanks >>> Sri >>> >>>> >>>> -- >>>> Joseph S. Myers >>>> jos...@codesourcery.com
