2010-05-18 Justus Winter <4winter@informatik.uni-hamburg.de>

* util/grub.d/10_hurd.in: Include all gnumach* kernels, not only
	gnumach and gnumach.gz.
This commit is contained in:
Samuel Thibault 2010-05-18 20:10:37 +02:00
parent 95b97950e2
commit c4f7b52359
2 changed files with 28 additions and 16 deletions

View file

@ -1,3 +1,8 @@
2010-05-18 Justus Winter <4winter@informatik.uni-hamburg.de>
* util/grub.d/10_hurd.in: Include all gnumach* kernels, not only
gnumach and gnumach.gz.
2010-05-18 Vladimir Serbinenko <phcoder@gmail.com> 2010-05-18 Vladimir Serbinenko <phcoder@gmail.com>
* include/grub/i18n.h (gettext): Inline instead of using #define. * include/grub/i18n.h (gettext): Inline instead of using #define.

View file

@ -35,13 +35,13 @@ all_of_them=true
# FIXME: add l4 here? # FIXME: add l4 here?
kernel= kernel=
for i in /boot/gnumach.gz /boot/gnumach ; do for i in /boot/gnumach* ; do
if test -e $i ; then if test -e $i ; then
basename=`basename $i` basename=`basename $i`
dirname=`dirname $i` dirname=`dirname $i`
rel_dirname=`make_system_path_relative_to_its_root $dirname` rel_dirname=`make_system_path_relative_to_its_root $dirname`
echo "Found GNU Mach: $i" >&2 echo "Found GNU Mach: $i" >&2
kernel=${rel_dirname}/${basename} kernels="${kernels} ${rel_dirname}/${basename}"
at_least_one=true at_least_one=true
fi fi
done done
@ -71,8 +71,13 @@ if ${all_of_them} && test -e /lib/ld.so.1 ; then : ; else
exit 1 exit 1
fi fi
for kernel in ${kernels}
do
kernel_base="`basename "${kernel}"`"
KERNEL="using ${kernel_base}"
cat << EOF cat << EOF
menuentry "${OS}" ${CLASS} { menuentry "${OS} ${KERNEL}" ${CLASS} {
EOF EOF
prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/" prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
cat << EOF cat << EOF
@ -94,7 +99,7 @@ cat << EOF
EOF EOF
cat << EOF cat << EOF
menuentry "${OS} (recovery mode)" { menuentry "${OS} ${KERNEL} (recovery mode)" ${CLASS} {
EOF EOF
prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/" prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
cat << EOF cat << EOF
@ -114,3 +119,5 @@ cat << EOF
module /lib/ld.so.1 exec /hurd/exec '\$(exec-task=task-create)' module /lib/ld.so.1 exec /hurd/exec '\$(exec-task=task-create)'
} }
EOF EOF
done