Re: config files substitution with awk

[Ralf Wildenhues]

Hello Paolo,

Thanks for the feedback.

* Paolo Bonzini wrote on Mon, Nov 20, 2006 at 10:05:21AM CET:
> As much as I like this, it breaks scripts using the undocumented 
> "extrasub" variable.

No, it doesn't.  Only the "regular" substitutions are done with awk,
there is still a bunch left that are done with sed, including but not
limited to the ac_vpsub and the extrasub hack, and all output-directory-
dependent variables.

Cheers,
Ralf