diff options
| author | Martin Roth <martinroth@google.com> | 2015-12-07 14:24:57 -0700 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-01-04 16:53:03 +0100 |
| commit | 5981a63a9f577a83501bed252330f2ceb07ca752 (patch) | |
| tree | 59c2c52ba4f59be15dfd35b829787e901631ba4e /.gitreview | |
| parent | 73b7997ba465ed345de84ee8d9e062fdf4ad5a07 (diff) | |
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@google.com>
Reviewed-on: https://review.coreboot.org/12679
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions