Subject: Re: Kernel include files
To: Gordon Ross <>
From: Ted Lemon <>
List: current-users
Date: 01/06/1995 10:27:30
> What about using a little script in place of make?

It's really hard to convince users to use scripts like this.   It
doesn't seem like it would be very hard to add the environment
variable feature to make, and it seems to me that it would be
worthwhile.   Actually, I think the right thing might be to make it a
make variable, and have make always include, e.g.,
${MAKESCRIPTDIR}/ iff MAKESCRIPTDIR is defined, and otherwise
/usr/share/mk/   Then you could do this in the source

.if (!defined (MAKESCRIPTDIR))
	...the rest of the makefile...

This would nicely prevent unfortunate mistakes from being made.

Ted Lemon
+1 415 477 5045

Fight to preserve your freedom to program: Join the League for
Programming Freedom!   For info, contact