[coreboot-gerrit] Patch merged into coreboot/master: buildgcc: Ask the user to install gnat if it's missing

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 04a1f6a3bce5d73ad7c43bced4683c0faffc368b
Author: Nico Huber <nico.huber at secunet.com>
Date:   Tue Sep 20 13:07:49 2016 +0200

    buildgcc: Ask the user to install gnat if it's missing
    
    Change-Id: Ib840eac29fc8cedfaef4847fd9700bd4a70300ba
    Signed-off-by: Nico Huber <nico.huber at secunet.com>
    Reviewed-on: https://review.coreboot.org/16677
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


See https://review.coreboot.org/16677 for details.

-gerrit