system: Don't emit a GRUB 'search' command when passed a GRUB file name.
authorLudovic Courtès <ludo@gnu.org>
Sun, 25 Sep 2016 15:12:50 +0000 (00:12 +0900)
committerLudovic Courtès <ludo@gnu.org>
Sun, 25 Sep 2016 15:18:39 +0000 (00:18 +0900)
commit5babe521c8adc722c2411b255cbeeef308339d06
treeeeae5965961fab467e65f830e73bc210cd16ffe0
parent7acd71d13d22fd318b3f136e344ba86bc62521fb
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.
gnu/system/grub.scm