Diego Novillo <dnovi...@google.com> wrote: >On Wed, Jan 23, 2013 at 4:19 AM, Richard Earnshaw <rearn...@arm.com> >wrote: > >> Won't this mean that use of the configure option is now silently >ignored, >> rather than generating an error? Existing users of the option might >be >> slightly confused by that. > >That's true. Perhaps a warning message stating that --with-gc is now >ignored? Or would you prefer a straight out error?
I don't think we ever cared for this. Thus, the patch is ok if no other rm objects within a day. Thanks, Richard. > >Diego.
