Module Name:	basesrc
Committed By:	matt
Date:		Sat Nov 11 22:47:58 UTC 2000

Modified Files:
	basesrc/etc/etc.arm32: Makefile.inc

Log Message:
INST kernel should be under BUILD_KERNELS


To generate a diff of this commit:
cvs rdiff -r1.8 -r1.9 basesrc/etc/etc.arm32/Makefile.inc

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.