mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-27 09:39:22 +00:00
2002-05-20 Yoshinori K. Okuji <okuji@enbug.org>
* lib/device.c (read_device_map): Show an error message and exit abnormally, if MAP[DRIVE] has already been filled. * util/grub-install.in: If there is any dulicated entry, print an error message and exit abnormally.
This commit is contained in:
1 parent
2364cf3673
commit
58703b663c
3 files changed
+22
No files matched your search
@@ -323,6 +323,14 @@ EOF
|
||||
rm -f $log_file
|
||||
fi
|
||||
|
||||
# Make sure that there is no duplicated entry.
|
||||
tmp=`sed -n '/^([fh]d[0-9]*)/s/\(^(.*)\).*/\1/p' $device_map \
|
||||
| sort | uniq -d | sed -n 1p`
|
||||
if test -n "$tmp"; then
|
||||
echo "The drive $tmp is defined multiple times in the device map $device_map" 1>&2
|
||||
exit 1
|
||||
fi
|
||||
|
||||
# Check for INSTALL_DEVICE.
|
||||
case "$install_device" in
|
||||
/dev/*)
|
||||
|
||||
Reference in new issue
Block a user