the following patch was just integrated into master: commit c983671f3d453c24c07649c056110683491a9da2 Author: Patrick Georgi patrick@georgi-clan.de Date: Sat Aug 8 21:35:38 2015 +0200
seabios integration: fix interaction with ccache
SeaBIOS' build system doesn't like CC to be a compound command like "ccache gcc", so we strip things. Unfortunately with CCACHE enabled, we passed /usr/bin/ccache (or wherever it was found on the PATH). Instead use the second term in CCACHE mode.
Change-Id: I905fcdc73d067e553e923e307fafceaacdefdc6c Signed-off-by: Patrick Georgi patrick@georgi-clan.de Reviewed-on: http://review.coreboot.org/11138 Tested-by: build bot (Jenkins) Reviewed-by: Stefan Reinauer stefan.reinauer@coreboot.org
See http://review.coreboot.org/11138 for details.
-gerrit