From: Godmar Back (gback@cs.utah.edu)
Date: Mon Jan 18 1999 - 15:51:03 EST
>
> Well I removed all my sources, rechecked out everything and it correctly
> build and ran (okay, it built and ran - I don't know about correctly
> I wasn't checking that hard). One odd thing however - after I build the
> sources I did a 'make install' and off it went building stuff again - I
> was rather worried by this since it seems to imply the sources got
> changed in some fashion (it didn't happen the next time I did an
> install).
>
> I don't suppose its worth saying that I don't like make systems which do
> a 'make all' for me when I type 'make install' - if I wanted to build
> the sources I'd ask it to build the sources.
>
> Minor points in the scheme of things really.
>
Actually, Tim, I think even the old scheme would build the sources
if you said "make install" but hadn't built them yet.
What is broken is that it now tends to rebuild things even if you've
already told it to build the sources.
After attempting to assign blame to clock drifts introduced by NFS
servers or processors that are too fast, Alexandre has promised and
checked in another fix for this problem, which I am trying right now.
- Godmar
This archive was generated by hypermail 2b29 : Sat Sep 23 2000 - 19:57:46 EDT