diff options
| author | Miles Bader <miles@gnu.org> | 1996-07-18 23:05:27 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-07-18 23:05:27 +0000 |
| commit | f38b81d87dc776895f38f28be68de521ea2b2c5d (patch) | |
| tree | 75f3a81ea385fc588dc5272d5d353fd441622c87 | |
| parent | 8892adc42ef232ad37ffaf7ddb02e94de1392fb3 (diff) | |
Only use the new device for INSTALL-GRUB-MBR if we successfully created it.
| -rw-r--r-- | release/SETUP | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/release/SETUP b/release/SETUP index 5c20f94d..d5ba2978 100644 --- a/release/SETUP +++ b/release/SETUP @@ -29,8 +29,7 @@ cd /dev set +v -if test "$BOOT_DEV"; then - /bin/sh ./MAKEDEV "$BOOT_DEV" +if test "$BOOT_DEV" && /bin/sh ./MAKEDEV "$BOOT_DEV"; then echo -n "Install grub as main boot record on $BOOT_DEV? [y] " read yn case "$yn" in |