diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-12-13 21:28:12 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-12-13 22:13:57 +0100 |
| commit | 6c777cf88c84c164e825f6e875bb4d2812892ed9 (patch) | |
| tree | fa2d21c073b4955273ca289e3c474c96173030ed /COPYING | |
| parent | 5c5e7bdafd38e2bed2c4e0b0f64fefb16855aded (diff) | |
| download | patches-6c777cf88c84c164e825f6e875bb4d2812892ed9.tar patches-6c777cf88c84c164e825f6e875bb4d2812892ed9.tar.gz | |
system: Adjust 'grub.cfg' to work on systems with a separate /boot.
Fixes <http://bugs.gnu.org/19220>.
Reported by Nikita Karetnikov <nikita@karetnikov.org>.
* gnu/system/grub.scm (grub-configuration-file)[entry->gexp]: Add
'search --file --set'.
(grub-configuration-file)[builder]: Remove 'search.file'.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions