diff options
author | obrien <obrien@FreeBSD.org> | 2000-09-03 02:58:39 +0000 |
---|---|---|
committer | obrien <obrien@FreeBSD.org> | 2000-09-03 02:58:39 +0000 |
commit | c779653ba8242e1863746966e8e5aa5677e921bd (patch) | |
tree | 5637424b4ee5e9e5cf54b5aeeaa4c1b3a420e7b6 /Makefile.inc1 | |
parent | 4f35b0f8eb678ba43177f6b19bf61adf35c1b6e6 (diff) | |
download | FreeBSD-src-c779653ba8242e1863746966e8e5aa5677e921bd.zip FreeBSD-src-c779653ba8242e1863746966e8e5aa5677e921bd.tar.gz |
Allow one to specify what the installed kernel's name is by setting
"INSTKERNNAME".
Reviewed by: marcel
Diffstat (limited to 'Makefile.inc1')
-rw-r--r-- | Makefile.inc1 | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index 50e6679..b11029f 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -358,6 +358,7 @@ reinstall: # properly. KERNEL?= GENERIC +INSTKERNNAME?= kernel # The only exotic MACHINE_ARCH/MACHINE combination valid at this # time is i386/pc98. In all other cases set MACHINE equal to @@ -408,10 +409,10 @@ buildkernel: ${MAKE} -f ${KRNLSRCDIR}/dev/aic7xxx/Makefile .if !defined(NO_KERNELDEPEND) cd ${KRNLOBJDIR}/${_kernel}; \ - ${WMAKEENV} MACHINE=${MACHINE} ${MAKE} KERNEL=kernel depend + ${WMAKEENV} MACHINE=${MACHINE} ${MAKE} KERNEL=${INSTKERNNAME} depend .endif cd ${KRNLOBJDIR}/${_kernel}; \ - ${WMAKEENV} MACHINE=${MACHINE} ${MAKE} KERNEL=kernel all + ${WMAKEENV} MACHINE=${MACHINE} ${MAKE} KERNEL=${INSTKERNNAME} all .endfor # @@ -421,7 +422,14 @@ buildkernel: # installkernel: cd ${KRNLOBJDIR}/${INSTALLKERNEL}; \ - ${CROSSENV} MACHINE=${MACHINE} ${MAKE} KERNEL=kernel install + ${CROSSENV} MACHINE=${MACHINE} ${MAKE} KERNEL=${INSTKERNNAME} install + +# +# kernel +# +# Short hand for `make buildkernel installkernel' +# +kernel: buildkernel installkernel # # update |