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 /config.make.in | |
| parent | 8892adc42ef232ad37ffaf7ddb02e94de1392fb3 (diff) | |
Only use the new device for INSTALL-GRUB-MBR if we successfully created it.
Diffstat (limited to 'config.make.in')
0 files changed, 0 insertions, 0 deletions