Messages in this thread | | | Date | Sun, 1 Aug 1999 22:05:31 -0700 | From | Todd Larason <> | Subject | Re: Linux 2.2.11pre4 |
| |
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/
| |