[coreboot-gerrit] Patch merged into coreboot/master: util/xcompile: Add gnatbind tool

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 4408409d05f5ba85f4249f477ce3f243bee862c2
Author: Nico Huber <nico.h at gmx.de>
Date:   Fri Jan 15 00:11:57 2016 +0100

    util/xcompile: Add gnatbind tool
    
    Change-Id: I79c94a1a951fe7e3493b839364a79fa2edb57ff3
    Signed-off-by: Nico Huber <nico.h at gmx.de>
    Reviewed-on: https://review.coreboot.org/13043
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit