diff options
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/miniroot/install.sh | 6 | ||||
| -rw-r--r-- | distrib/miniroot/install.sub | 22 |
2 files changed, 24 insertions, 4 deletions
diff --git a/distrib/miniroot/install.sh b/distrib/miniroot/install.sh index 6d76ece5eaa..4ad24a7ef49 100644 --- a/distrib/miniroot/install.sh +++ b/distrib/miniroot/install.sh @@ -1,5 +1,5 @@ #!/bin/sh -# $OpenBSD: install.sh,v 1.41 1998/10/13 21:23:30 deraadt Exp $ +# $OpenBSD: install.sh,v 1.42 1998/10/28 17:51:14 millert Exp $ # $NetBSD: install.sh,v 1.5.2.8 1996/08/27 18:15:05 gwr Exp $ # # Copyright (c) 1997,1998 Todd Miller, Theo de Raadt @@ -539,10 +539,10 @@ while [ "X${resp}" = X"" ]; do fi done -md_copy_kernel - install_sets $THESETS +md_copy_kernel + # Copy in configuration information and make devices in target root. if [ ! -d /mnt/etc -o ! -d /mnt/usr/share/zoneinfo -o ! -d /mnt/dev ]; then diff --git a/distrib/miniroot/install.sub b/distrib/miniroot/install.sub index dbc62efb838..4812d1f120a 100644 --- a/distrib/miniroot/install.sub +++ b/distrib/miniroot/install.sub @@ -1,5 +1,5 @@ #!/bin/sh -# $OpenBSD: install.sub,v 1.108 1998/10/19 19:22:18 deraadt Exp $ +# $OpenBSD: install.sub,v 1.109 1998/10/28 17:51:14 millert Exp $ # $NetBSD: install.sub,v 1.5.2.8 1996/09/02 23:25:02 pk Exp $ # # Copyright (c) 1997,1998 Todd Miller, Theo de Raadt @@ -2082,3 +2082,23 @@ _fstab=$1 echo "Done." ) < $_fstab } + +check_kernel() { + if [ ! -s /mnt/bsd ]; then + echo "" + echo "Warning, no kernel installed!" + echo "You did not unpack a file set containing a kernel." + echo "This is needed to boot. Please note that the install" + echo "install kernel is not suitable for general use." + echo -n "Escape to shell add /mnt/bsd by hand? [y] " + getresp "y" + case "$resp" in + y*|Y*) + echo "Type 'exit' to return to install." + sh + ;; + *) + ;; + esac + fi +} |