Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 8 Jan 2010 06:07:57 -0800
From:      David Wolfskill <david@catwhisker.org>
To:        freebsd-hackers@freebsd.org
Subject:   Re: Patch to Makefile.inc1 to mention which kernel config is being installed
Message-ID:  <20100108140757.GS86359@bunrab.catwhisker.org>
In-Reply-To: <201001080831.11719.jhb@freebsd.org>
References:  <20100105132921.GN86359@bunrab.catwhisker.org> <20100105141108.GO86359@bunrab.catwhisker.org> <20100105141557.G88477@maildrop.int.zabbadoz.net> <201001080831.11719.jhb@freebsd.org>

next in thread | previous in thread | raw e-mail | index | archive | help

--IQxisP7nphoKJAnk
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Fri, Jan 08, 2010 at 08:31:11AM -0500, John Baldwin wrote:
> ....
> > >>> Thoughts?
> > >>
> > >> INSTKERNNAME rather than INSTALLKERNEL?
> > >
> > > Well, I was interested in knowing which config was being used, not so
> > > much what the name of the subdirectory in /boot was going to be.
> > >
> > > (Default value for INSTKERNNAME is "kernel", which isn't something I
> > > find useful to report.)
> >=20
> > Woopps. Cache-corruption;-) The original one is fine then.
>=20
> Or maybe 'Installing INSTALLKERNEL as INSTKERNNAME'.

Sure; that works for me.  The intent is to provide information that
might be useful, after all.  :-}

Peace,
david
--=20
David H. Wolfskill				david@catwhisker.org
Depriving a girl or boy of an opportunity for education is evil.

See http://www.catwhisker.org/~david/publickey.gpg for my public key.

--IQxisP7nphoKJAnk
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (FreeBSD)

iEYEARECAAYFAktHPDwACgkQmprOCmdXAD2eBQCbBGqQUMF2JobVx87HYFUzx47c
0gMAnAuwpxgu+OthxMi72SipM65iF1Zk
=TuP4
-----END PGP SIGNATURE-----

--IQxisP7nphoKJAnk--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20100108140757.GS86359>