|
|
@ -443,7 +443,14 @@ do
|
|
|
|
# else not a good root and start over.
|
|
|
|
# else not a good root and start over.
|
|
|
|
if [ "$?" = '0' ]
|
|
|
|
if [ "$?" = '0' ]
|
|
|
|
then
|
|
|
|
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
|
|
|
|
else
|
|
|
|
bad_msg "Could not mount specified ROOT, try again"
|
|
|
|
bad_msg "Could not mount specified ROOT, try again"
|
|
|
|
got_good_root=0
|
|
|
|
got_good_root=0
|
|
|
|