[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Commited: RE: PATCH: Re: zsh and autoconf-2.50
|
From: |
Andrej Borsenkow |
|
Subject: |
RE: Commited: RE: PATCH: Re: zsh and autoconf-2.50 |
|
Date: |
Wed, 6 Jun 2001 15:34:42 +0400 |
>
> I fear I understand what you mean, but I might be wrong. The use of a
> cache is a decision that belongs to the user and no one else. You
> should not try to change this.
>
To clarify - if I have used conifgure -C initially and have
config.status: $(sdir)/configure
$(SHELL) ./config.status --recheck
in Makefile. Will config.status --recehck (re-)use cache file? If yes, it is
O.K. then.
-andrej