Re: CC=cc ./configure or ./configure CC=cc

[Karl Berry]

    The problem lies in the recheck operation of config.status:

Thanks much for the explanation.

    Here you go.

And for the new patch.  I sent that to rms for his approval (of the
substantive part).

karl