Subject: Re: How do I efficiently update current?
To: Hisashi T Fujinaka <>
From: Erik Bertelsen <>
List: current-users
Date: 09/22/1996 21:05:17
On Sat, 21 Sep 1996, Hisashi T Fujinaka wrote:

.. sup'ing the new sources, can I just do a new 'make depend; make' and hope
.. that it only compiles the new stuff or is that too dangerous?

It is normally OK to just run 'make' after updating the sources. One
problem, however, is if one of the updated files gets a time stamp
that is newer than the previous version, but older than the corresponding
object file, it won't get re-compiled. This is in particular a problem,
if the source file in question is a header file with many dependencies.

After updating header files, you may consider touching their modification
date before running 'make'.

/ Erik