[syslinux] check-gnu-efi.sh: print the output of build-gnu-efi.sh

[Gene Cumm]

On Mon, Dec 22, 2014 at 12:11 PM, Patrick Masotta <masottaus at yahoo.com> wrote:
> I really think we should not take chances;
> Syslinux source should include (probably as an optional download tarball)
> the gnu-efi used to build the particular Syslinux version.

It does, presuming you download the binary/source archive file.

-- 
-Gene