diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-09-26 00:12:50 +0900 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-09-26 00:18:39 +0900 |
| commit | 5babe521c8adc722c2411b255cbeeef308339d06 (patch) | |
| tree | eeae5965961fab467e65f830e73bc210cd16ffe0 /doc/environment-gdb.scm | |
| parent | 7acd71d13d22fd318b3f136e344ba86bc62521fb (diff) | |
| download | guix-5babe521c8adc722c2411b255cbeeef308339d06.tar guix-5babe521c8adc722c2411b255cbeeef308339d06.tar.gz | |
system: Don't emit a GRUB 'search' command when passed a GRUB file name.
Reported by Tomáš Čech <tcech@suse.com>
at <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=20067#26>.
* gnu/system/grub.scm (grub-root-search): Don't emit anything when FILE
is a string that does not denote an absolute file name.
Diffstat (limited to 'doc/environment-gdb.scm')
0 files changed, 0 insertions, 0 deletions