mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-24 08:09:22 +00:00
fix a bug in grub-install.
This commit is contained in:
1 parent
32f9590f2a
commit
31f1004b74
2 files changed
+7
-1
No files matched your search
@@ -1,3 +1,9 @@
|
||||
2000-04-15 OKUJI Yoshinori <okuji@gnu.org>
|
||||
|
||||
* util/grub-install.in (root_device): Append `/' to ${rootdir},
|
||||
since ROOTDIR may be empty. Reported by Satoshi Nagayasu
|
||||
<snaga@oak.forus.or.jp>.
|
||||
|
||||
2000-04-15 Jochen Hoenicke <jochen@gnu.org>
|
||||
|
||||
* configure.in: Added --disable-reiserfs option.
|
||||
|
||||
@@ -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
|
||||
|
||||
Reference in new issue
Block a user