Re: fyi-ac-arg-var.patch

[Alexandre Oliva]

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.

Agreed.

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

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

>   abort.


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

> - the user is an expert
>   warn if appropriate, but do what she says, and cache the latest
>   values.

This would be wrong, because we'd have used cached values computed
based on the previous environment variables.

-- 
Alexandre Oliva   Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer                  address@hidden, redhat.com}
CS PhD student at IC-Unicamp        address@hidden, gnu.org}
Free Software Evangelist    *Please* write to mailing lists, not to me