diff options
| author | Marc Jones <marcj303@gmail.com> | 2011-10-07 17:20:30 -0600 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2011-10-23 18:55:27 +0200 |
| commit | 616da1ee7fc45bed76e420fb5060939ef0d77ea1 (patch) | |
| tree | 68ced1db024269df519232addba2c8988e1e63e0 /util/lint | |
| parent | 5cfd583c5c2d803dd240768ec343b5a95f42c785 (diff) | |
Allow XGCCPATH to be set on the make command line.
The xgcc toolchain may be moved by the user and passed in on the commandline. Updates the Makefile and the xcompile script.
Change-Id: I05797b2cabce39bdd7868c2515f30d34043fc8cc
Signed-off-by: Marc Jones <marcj303@gmail.com>
Reviewed-on: http://review.coreboot.org/318
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>
Diffstat (limited to 'util/lint')
0 files changed, 0 insertions, 0 deletions