[coreboot-gerrit] Patch merged into coreboot/master: util/crossgcc: fix using -D

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 1b593e5ad76bb66298c6f39b2cfb6fdf1f784c38
Author: Patrick Georgi <pgeorgi at chromium.org>
Date:   Fri Nov 25 15:27:41 2016 +0100

    util/crossgcc: fix using -D
    
    Otherwise errors similar to "touch: cannot touch
    '${TARGETDIR}/.GMP.6.1.0.success': No such file
    or directory" might occur.
    
    Change-Id: I4f24c93a25b7d567d3ce14a0415d20fd0778c9c8
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Reviewed-on: https://review.coreboot.org/17603
    Tested-by: build bot (Jenkins)
    Reviewed-by: Nico Huber <nico.h at gmx.de>
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>


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

-gerrit