[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: generated Makefile wants to run missing after configure (broken --di
From: |
Vincent Lefevre |
Subject: |
Re: generated Makefile wants to run missing after configure (broken --disable-dependency-tracking?) |
Date: |
Thu, 4 Sep 2008 03:26:13 +0200 |
User-agent: |
Mutt/1.5.18-vl-r23999 (2008-08-31) |
On 2008-08-31 10:43:51 -0600, Bob Proulx wrote:
> That was why I posted the workaround for this problem of using touch
> to set all of the timestamps to the current time. I am not sure you
> noticed it.
I noticed it, but didn't like this workaround because of that,
especially on a handheld:
> If there are a small enough number of files then it is statistically
> likely that this will succeed. However I acknowledge that if there
> are a large number of files that it might take so long to complete
> that it would cross a clock tick boundary and cross from one into the
> next.
--
Vincent Lefèvre <address@hidden> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: generated Makefile wants to run missing after configure (broken --disable-dependency-tracking?),
Vincent Lefevre <=