On Tue, Sep 15, 2009 at 1:33 AM, Bollinger, John C
<[email protected]> wrote:
> That would also help in the case where one or more $(DEPDIR)s is accidentally
> or cluelessly deleted -- the developer would not have to re-run configure 
> (not an
> obvious solution) to fix the project directory.

Do you have to re-run `configure', or was re-running `config.status'
enough? It would save a lot of time on checks if you only needed to
run `config.status'.

-- Jack


Reply via email to