diff --git a/defaults/linuxrc b/defaults/linuxrc index 1e717dc..8311669 100644 --- a/defaults/linuxrc +++ b/defaults/linuxrc @@ -443,7 +443,14 @@ do # else not a good root and start over. if [ "$?" = '0' ] then - break + if [ -d ${NEW_ROOT}/dev -a -x "${NEW_ROOT}${REAL_INIT:-/sbin/init}" ] || [ "${REAL_ROOT}" = "/dev/nfs" ] + then + break + else + bad_msg "The filesystem mounted at ${REAL_ROOT} does not appear to be a valid /, try again" + got_good_root=0 + REAL_ROOT='' + fi else bad_msg "Could not mount specified ROOT, try again" got_good_root=0