[coreboot-gerrit] Patch merged into coreboot/master: buildgcc: Don't try to build gnat with a different version

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 75797166cef66a84f38856f74a671968c6a7cd1f
Author: Nico Huber <nico.huber at secunet.com>
Date:   Tue Sep 20 13:01:57 2016 +0200

    buildgcc: Don't try to build gnat with a different version
    
    Change-Id: I64a33d2cc4793e54a50fa439a4461c40d424b569
    Signed-off-by: Nico Huber <nico.huber at secunet.com>
    Reviewed-on: https://review.coreboot.org/16676
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>
    Tested-by: build bot (Jenkins)


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

-gerrit