diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2016-03-15 23:14:08 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2016-03-17 15:38:47 +0100 |
| commit | 32154d7b1211faab3d37eab0b00154a7f190eb23 (patch) | |
| tree | 307a0373065d80e5fbc9dfc4f218e94c1bf5c2df /util | |
| parent | b4e5c5eb1efd9eb6141e2996845236e154a6ec0d (diff) | |
build system: Allow overriding the path to the futility binary
Change-Id: I84e68e8407149780769c3e6a1148c175e42d1025
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/14100
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions