diff options
author | Francis Rowe <info@gluglug.org.uk> | 2016-01-02 11:59:41 (EST) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2016-01-02 11:59:41 (EST) |
commit | 417361f8b794ffe433f1400e043c6bd6e9778ffc (patch) | |
tree | 7d3f73973f6f02be170aa89006f995a24c1d29f6 /resources/libreboot/config/grub | |
parent | b17525f25651cfd2e98f25fabdb6e0786fbeb2d9 (diff) | |
download | libreboot-417361f8b794ffe433f1400e043c6bd6e9778ffc.zip libreboot-417361f8b794ffe433f1400e043c6bd6e9778ffc.tar.gz libreboot-417361f8b794ffe433f1400e043c6bd6e9778ffc.tar.bz2 |
grub.cfg: eliminate use of * wildcard
This causes huge boot delays, because GRUB is extremely slow at
enumerating the list of available devices/partitions.
Diffstat (limited to 'resources/libreboot/config/grub')
0 files changed, 0 insertions, 0 deletions