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 Received on 1999-10-08 10:32:45