Module Name:	basesrc
Committed By:	ross
Date:		Thu Sep  2 23:39:44 UTC 1999

Modified Files:
	basesrc/distrib/alpha/instkernel/instkernel: Makefile

Log Message:
Make the kernel selectable and the strip action optional.


To generate a diff of this commit:
cvs rdiff -r1.6 -r1.7 basesrc/distrib/alpha/instkernel/instkernel/Makefile

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