Subject: Re: EXTRA_KERNELS+=SHARK?
To: David Forbes <dmf20@hermes.cam.ac.uk>
From: Erik E. Fair <fair@clock.org>
List: port-arm32
Date: 04/04/1999 03:33:39
At 15:30 -0700 4/3/99, David Forbes wrote:

>If you do this "make snapshot" will fail (or at least it will using the
>last set of Makefiles that I got).  This is because the Makefile only
>picks up kernels called "netbsd".  PR misc/7180 has the minor fix for
>this.

I just committed the fix, hopefully just in time for tonight's supscan.

	Erik