Subject: Re: Overriding /usr/share/mk/ in make ...
To: Andrew Cagney <>
From: Daniel Carosone <>
List: tech-ports
Date: 10/03/1995 14:02:05
> > i think that a flag (perhaps and environment variable) that allows
> > one to specify the location of the default system make directory
> > (i.e. use the value provided by the flag, or use /usr/share/mk) would
> > be better.
> Fine by me,  just can someone else nominate the flag (letter) I should
> add (I'm not game to :-)

I can offer a suggestion of -F (by extension of "-f makefile") In a
quick check, NetBSD, Solaris, and GNU make do not use this, or at
least do not document it.

I thought of -P (for path), but Solaris uses that for something else.