Re: Linux 2.2.11pre4
Todd Larason (jtl@molehill.org)
Sun, 1 Aug 1999 22:05:31 -0700
On 01 August 99, Linus Torvalds wrote:
> On Sun, 1 Aug 1999, Keith Owens wrote:
> > Would .PRECIOUS /path/file.h for all .h files at the end of the
> > .hdepend files fix the problem?
>
> I wouldn't know, because it's not documented in the man-page due to the
> silly FSF hatred towards man-pages and being easy to use.
>
> What does .PRECIOUS do? I assume it avoids removing the file, and if so,
> yes it sounds like it would fix the issue, but it is actually officially
> documented and supported?
It looks like exactly what's needed. From the info page:
`.PRECIOUS'
The targets which `.PRECIOUS' depends on are given the following
special treatment: if `make' is killed or interrupted during the
execution of their commands, the target is not deleted.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/