diff --git a/ChangeLog b/ChangeLog index 9e802b13b..fd587de80 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2000-04-15 OKUJI Yoshinori + + * util/grub-install.in (root_device): Append `/' to ${rootdir}, + since ROOTDIR may be empty. Reported by Satoshi Nagayasu + . + 2000-04-15 Jochen Hoenicke * configure.in: Added --disable-reiserfs option. diff --git a/util/grub-install.in b/util/grub-install.in index 5d5ae4cad..6e9e0dcfd 100644 --- a/util/grub-install.in +++ b/util/grub-install.in @@ -210,7 +210,7 @@ fi # Get the root drive. # For now, this uses the program `df' to get the device name, but is # this really portable? -root_device=`df ${rootdir} | grep /dev/ | sed 's%.*\(/dev/[a-z0-9]*\).*%\1%'` +root_device=`df ${rootdir}/ | grep /dev/ | sed 's%.*\(/dev/[a-z0-9]*\).*%\1%'` root_drive=`convert "$root_device"` if test "x$root_drive" = x; then exit 1