On Fri, Oct 08, 1999 at 06:29:08PM +0800, LEE, Yui-wah (Clement) wrote:
> 
> Hi,
> 
> I am not very good at writing "makefiles," but I suspect that, when we
> do "realclean" (a prerequisite of "clean"), we should remove
> $(HEADERS) too.

No, the headers in $(HEADERS) are not generated from some sourcefile. We
would thus lose important files after a realclean.

> I ask this question, because once I had the following problem.  In
> coda-src/vicedep, I had an old vcrcommon.h, which never got updated
> into include/ even though I ran "make clean".  The vcrcommon.h is one
> of the $(HEADERS) files.  I have to manually removed the file
> eventually.

That is intentional, this file used to be generated from vcrcommon.rpc2,
but there were some problems. Can't really remember what they were
(dependencies?), but we decided to `pre-generate' vcrcommon.h and put it
in the HEADERS instead of the RP2HEADERS.

The only problem we have had was when extra types for write-back caching
were added, they were only added to the .h file and not the .rpc2
version causing build problems when the timestamps were off. 

Jan