outdated files after make world

Sat Apr 5 07:27:05 PST 2003

Ruslan Ermilov <ru at freebsd.org> writes:
> On Sat, Apr 05, 2003 at 01:53:23PM +0200, Dag-Erling Sm?rgrav wrote:
> > That's still a bug.  If the files match, nothing is copied.  RTFS.
> Sorry?  Where is the bug?

In the documentation.  It should clearly state that the new file is
not installed if it is identical to the old one.  No monkey business
about inode times etc., just "not installed".

DES
-- 
Dag-Erling Smørgrav - des at ofug.org