On Mon, May 17, 2010 at 08:39, Richard Guenther <richard.guent...@gmail.com> wrote:
> Instead of trying to record switches that way we should instead > save the final settings of relevant flag_* values somewhere and > simply complain on mismatches. What would be the difference? The flags are reapplied as if they had been given on the command line. Diego.
