Ping.
On Thu, May 9, 2013 at 2:20 PM, Sriraman Tallam <tmsri...@google.com> wrote: > 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