diff options
Diffstat (limited to 'Makefile.inc1')
-rw-r--r-- | Makefile.inc1 | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index 051f6c1..fac487b 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -496,13 +496,6 @@ installkernel reinstallkernel: ${CROSSENV} ${MAKE} KERNEL=${INSTKERNNAME} ${.TARGET:S/kernel$//} # -# kernel -# -# Short hand for `make buildkernel installkernel' -# -kernel: buildkernel installkernel - -# # update # # Update the source tree, by running sup and/or running cvs to update to the |