[coreboot-gerrit] Patch merged into coreboot/master: toolchain.inc: Skip how to use any toolchain if it's selected
gerrit at coreboot.org
gerrit at coreboot.org
Mon Jan 4 16:53:11 CET 2016
the following patch was just integrated into master:
commit 5981a63a9f577a83501bed252330f2ceb07ca752
Author: Martin Roth <martinroth at google.com>
Date: Mon Dec 7 14:24:57 2015 -0700
toolchain.inc: Skip how to use any toolchain if it's selected
If ANY_TOOLCHAIN is selected, don't bother telling the user how to
do what they've already done.
Change-Id: I7182d18a91e832aa56638ec64fe8b3b0c38cff7a
Signed-off-by: Martin Roth <martinroth at google.com>
Reviewed-on: https://review.coreboot.org/12679
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi at google.com>
See https://review.coreboot.org/12679 for details.
-gerrit
More information about the coreboot-gerrit
mailing list