From be388967d49051b9d564f80471e478cc2db10287 Mon Sep 17 00:00:00 2001 From: ru Date: Mon, 29 Apr 2002 15:22:01 +0000 Subject: Parallel "make release" fixes. --- Makefile.inc1 | 7 ------- 1 file changed, 7 deletions(-) (limited to 'Makefile.inc1') 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 -- cgit v1.1