diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2004-02-20 15:02:13 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2004-02-20 15:02:13 +0000 |
| commit | ae480d739f85235c51917abbd170b5cbca962fe3 (patch) | |
| tree | 19498e09cda1b51d1e34051523bcd1beb64b603c /tools/patch_pcmcia_config.pl | |
| parent | 009aed2fae757c2f423926d93305c6f902273c37 (diff) | |
| download | drakx-ae480d739f85235c51917abbd170b5cbca962fe3.tar drakx-ae480d739f85235c51917abbd170b5cbca962fe3.tar.gz drakx-ae480d739f85235c51917abbd170b5cbca962fe3.tar.bz2 drakx-ae480d739f85235c51917abbd170b5cbca962fe3.tar.xz drakx-ae480d739f85235c51917abbd170b5cbca962fe3.zip | |
(update_for_renumbered_partitions):
- handle no grub config
- skip modifications when dev2grub fail
(since the device not in device.map means the device is currently unused for booting)
Diffstat (limited to 'tools/patch_pcmcia_config.pl')
0 files changed, 0 insertions, 0 deletions