>>> Yet more reasons that a bunch of this configuration information
>>> should be in /etc, [...]
> I definitely agree with [this].  For example, I'd like to use
> "-O -pipe" on my 32mb hp380 but only "-O" on my 8mb hp319.  [...]
> Since these systems share "/usr/share" ([...]), I can't use
> /usr/share/mk/local.mk to set those machine-specific variables.

# ln -s /etc/local.mk /usr/share/mk/local.mk

					der Mouse

			    mouse@collatz.mcrcim.mcgill.edu