diff options
author | Francis Rowe <info@gluglug.org.uk> | 2016-03-03 14:40:48 (EST) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2016-03-03 14:40:48 (EST) |
commit | 6cd26f562dd4765e905cc4569c2ed1ba5d94c346 (patch) | |
tree | 0bcf2b3fa4dc8d4ddfa30b19c76e84c6ad0c4685 /resources/grub/config/menuentries/common.cfg | |
parent | c0da4d71c3f38133914dd14a6400c63ef7547421 (diff) | |
download | libreboot-6cd26f562dd4765e905cc4569c2ed1ba5d94c346.zip libreboot-6cd26f562dd4765e905cc4569c2ed1ba5d94c346.tar.gz libreboot-6cd26f562dd4765e905cc4569c2ed1ba5d94c346.tar.bz2 |
grub.cfg: re-add searching for coreboot_grub.cfg
Diffstat (limited to 'resources/grub/config/menuentries/common.cfg')
-rw-r--r-- | resources/grub/config/menuentries/common.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/grub/config/menuentries/common.cfg b/resources/grub/config/menuentries/common.cfg index 06868c4..dc126ba 100644 --- a/resources/grub/config/menuentries/common.cfg +++ b/resources/grub/config/menuentries/common.cfg @@ -1,7 +1,7 @@ function try_user_config { set root="${1}" for dir in boot grub grub2 boot/grub boot/grub2; do - for name in '' autoboot_ libreboot_; do + for name in '' autoboot_ libreboot_ coreboot_; do if [ -f /"${dir}"/"${name}"grub.cfg ]; then configfile /"${dir}"/"${name}"grub.cfg fi |