104
106
xen_dirname=`dirname ${current_xen}`
105
107
rel_xen_dirname=`make_system_path_relative_to_its_root $xen_dirname`
106
108
xen_version=`echo $xen_basename | sed -e "s,.gz$,,g;s,^xen-,,g"`
107
110
while [ "x$list" != "x" ] ; do
108
111
linux=`version_find_latest $list`
109
112
echo "Found linux image: $linux" >&2