Re: config files substitution with awk

[Paolo Bonzini]

As much as I like this, it breaks scripts using the undocumented 
"extrasub" variable.  This includes the toplevel configure script shared 
by gcc, gdb and others.

> +rm -f conf$$subs.awk
> +cat >>$CONFIG_STATUS <<_ACEOF
> +  FS = "[|]#_!!_#[|]"
> +}

You could put here an "$extrasub" or do a quick run with sed over the 
output...


> -" $ac_file_inputs m4_defn([_AC_SED_CMDS])>$tmp/out
> +" $ac_file_inputs m4_defn([_AC_SUBST_CMDS])>$tmp/out

... here:

+" $ac_file_inputs m4_defn([_AC_SUBST_CMDS]) | sed "${extrasub:-b}" 
>$tmp/out

Paolo