After extracting sets, copy miniroot kernel only if there is

no extracted kernel in the target disk.

distrib/hp300/miniroot/install.md

@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-#	$NetBSD: install.md,v 1.11 2006/07/21 19:02:27 tsutsui Exp $
+#	$NetBSD: install.md,v 1.12 2006/07/29 10:40:51 tsutsui Exp $
 #
 # Copyright (c) 1996 The NetBSD Foundation, Inc.
 # All rights reserved.
@@ -452,7 +452,8 @@ __md_prep_disklabel_4
 }
 
 md_copy_kernel() {
-	echo -n "Copying kernel..."
+	if [ ! -f /mnt/netbsd ]; then
+		echo -n "No kernel set extracted. Copying miniroot kernel..."
 		cp -p /netbsd /mnt/netbsd
 		echo "done."
 
@@ -466,6 +467,7 @@ the GENERIC kernel).
 __md_copy_kernel_1
 		echo -n	"Press <return> to continue. "
 		getresp ""
+	fi
 }
 
 	# Note, while they might not seem machine-dependent, the