Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| "Bill Page" <[EMAIL PROTECTED]> writes:
|
| [...]
|
| | > I think the the most natural solution for this problem is to
| | > require already installed external noweb.
| | >
| |
| | I agree. In fact I think it would be best to also require
| | exte
"Bill Page" <[EMAIL PROTECTED]> writes:
[...]
| > I think the the most natural solution for this problem is to
| > require already installed external noweb.
| >
|
| I agree. In fact I think it would be best to also require
| external gcl. We can do what is necessary to warn and advise
| the use
On March 21, 2007 1:39 PM Waldek Hebisch wrote:
> ...
> We have the same problem with few critical build files,
> notably with Makefile.in.
>
Yes, I confirm that sometimes this is problem. Sometimes
I have to 'touch' the Makefiles.
> I think the the most natural solution for this problem is to
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
[...]
| > Typically this is not a problem because if checkout is fast
| > enough file and its dependencies get the same timestamp.
| > But sometimes we may loose race and files are needlessly
| > re-made, which again typically is not a big problem. But
|
Waldek Hebisch <[EMAIL PROTECTED]> writes:
| Looking at build problem (reported in private mail) I noticed
| something which looks as serious incompatibility between svn
| and noweb. Namely, AFAICS files retrived by svn get timestamp
| corresponding to time of retrival. So, genereted files which
On 03/21/2007 06:39 PM, Waldek Hebisch wrote:
Looking at build problem (reported in private mail) I noticed
something which looks as serious incompatibility between svn
and noweb. Namely, AFAICS files retrived by svn get timestamp
corresponding to time of retrival. So, genereted files which
are
