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? Diego.
