GCC vs. `make' on Solaris

[Mark Mitchell]

>>>>> "Andrew" == Andrew Pimlott <andrew@pimlott.ne.mediaone.net> writes:

    Andrew> On Sat, May 12, 2001 at 02:05:16PM +1000, Fergus Henderson
    Andrew> wrote:
    >> This behaviour is a consequence of the fact that Make works by
    >> looking at the timestamps on files, and "@true" doesn't update
    >> the timestamp.  I don't think it is specifically explained in
    >> the GNU make manual.

    Andrew> No, in fact how make works at all isn't explained
    Andrew> concisely accurately anywhere in the manual.  I worked
    Andrew> through this issue a few days ago and came up with the
    Andrew> following:

It would be good if someone would send a patch to the GNU Make
maintainers.

I don't have time, unfortunately.

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com