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