--- genkernel-3.0.2c/work/genkernel-3.0.2c/genkernel	2004-07-12 22:45:57.000000000 +0200
+++ genkernel-3.0.2c/work/genkernel-3.0.2c/genkernel	2004-07-21 13:01:58.000000000 +0200
@@ -73,23 +73,31 @@ 
 fi
 
 # Check /boot is mounted
-if ! egrep -q ' /boot ' /proc/mounts
+if isTrue ${CMD_NOINSTALL}
 then
-	if egrep -q '^[^#].+	/boot	' /etc/fstab
+	if isTrue ${MOUNTBOOT}
 	then
-		if isTrue ${MOUNTBOOT}
+		print_info 2 "Skipping automatic mount of boot"
+	fi
+else
+	if ! egrep -q ' /boot ' /proc/mounts
+	then
+		if egrep -q '^[^#].+	/boot	' /etc/fstab
 		then
-			if ! mount /boot
+			if isTrue ${MOUNTBOOT}
 			then
-				print_warning 1 "${BOLD}WARNING${NORMAL}: Failed to mount /boot!"
-				echo
+				if ! mount /boot
+				then
+					print_warning 1 "${BOLD}WARNING${NORMAL}: Failed to mount /boot!"
+					echo
+				else
+					print_info 1 'mount: /boot mounted successfully!'
+				fi
 			else
-				print_info 1 'mount: /boot mounted successfully!'
+				print_warning 1 "${BOLD}WARNING${NORMAL}: No mounted /boot partition detected!"
+				print_warning 1 '         Run ``mount /boot`` to mount it!'
+				echo
 			fi
-		else
-			print_warning 1 "${BOLD}WARNING${NORMAL}: No mounted /boot partition detected!"
-			print_warning 1 '         Run ``mount /boot`` to mount it!'
-			echo
 		fi
 	fi
 fi