In message <[EMAIL PROTECTED]>
        Andy Dougherty <[EMAIL PROTECTED]> wrote:

> On 26 Sep 2002, Tom Hughes wrote:
> 
> > The problem here is that the rule in the Makefile that causes it to
> > rerun Configure.pl if any of the Configure.pl generated files is out
> > of date clashes with the recently introduced edit to stop Configure.pl
> > updating a file that hasn't actually changed.
> 
> I think that the 'recently-introduced-edit' is wrong.  Make's dependency
> system requires that the stated commands actually bring something
> up-to-date.

On the other hand, without that edit it winds up rebuilding everything
every time you run Configure, even if it doesn't have to...

Tom

-- 
Tom Hughes ([EMAIL PROTECTED])
http://www.compton.nu

Reply via email to