> Date: Mon, 19 Mar 2001 11:01:51 -0500
> From: "Paul D. Smith" <[EMAIL PROTECTED]>
>
> >>> - GNU make does not "make" >included< make rule files
> >>> and complains about nonexistent files
>
> I don't understand the first one here; make _does_ make included make
> rule files. Perhaps he means it includes them before trying to make
> them; this is true.
Yes, I think that's the problem he's referring to. His feeling is
that, if the makefile tells you how to build the include file, and if
the include file's contents don't affect any rules for building the
include file, it should work. This is maybe not a high-priority
point, but I didn't know whether you knew about it and I thought it
worth forwarding.
Anyway, thanks for your thoughtful response. I'll forward it back to
js to see if he can supply more detailed bug reports where you asked
for one.
_______________________________________________
Bug-make mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-make
