Re: fyi-ac-arg-var.patch

[Akim Demaille]

>>>>> "Alexandre" == Alexandre Oliva <address@hidden> writes:

Alexandre> On Jun 18, 2001, Akim Demaille <address@hidden> wrote:
>> What was not acceptable was having configure think one thing about
>> PRECIOUS, and the cache believing something else.

Alexandre> Agreed.

>> - the user is a novice then if there are changed PRECIOUS vars,
>> specify which ones, and

Alexandre> suggest the user to remove config.cache, and only then

>> abort.

Yep, that's what I meant :)  Actually, it should also suggest make
distclean, shouldn't it?

Really, I'm a bit afraid by this :(  I fear someone will come and tell
us she knows what she does, and she doesn't want to rebuild the whole
stuff :(

Alexandre> Or we could take it a step further: rename config.cache to
Alexandre> something else and restart configure from scratch.

Hm...  Why not...

Waiting for your answers, then I submit a proposal.