grub-shell: skip font copying when no font is available.
authorVladimir Serbinenko <phcoder@gmail.com>
Mon, 23 Jan 2017 18:25:25 +0000 (21:25 +0300)
committerVladimir Serbinenko <phcoder@gmail.com>
Fri, 27 Jan 2017 20:09:06 +0000 (20:09 +0000)
commitbec592aa872f7898e9665973b26156e46e73b29e
tree399e4bbe43085ab6f280dfec2fda6185d243df4a
parent79fc0089352fb0a7680fb661f6b759845c95e1fb
grub-shell: skip font copying when no font is available.
tests/util/grub-shell.in