diff options
author | Idwer Vollering <vidwer@gmail.com> | 2021-01-11 13:44:24 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2021-01-25 09:08:08 +0000 |
commit | 22bcb5643bb8e96ded52d03ed02965cd3202c8cc (patch) | |
tree | cc89120ddef20e4272bb23617a29251a96f180c0 /src/drivers/usb/Makefile.inc | |
parent | 64b88623cb7115bb064f9c847d88021e30c82499 (diff) |
util/board_status/board_status.sh: select the right gnu make binary
Signed-off-by: Idwer Vollering <vidwer@gmail.com>
Change-Id: I4523b1b235064f89c01530b47c9cb4c3c11c9761
Reviewed-on: https://review.coreboot.org/c/coreboot/+/49306
Reviewed-by: David Hendricks <david.hendricks@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'src/drivers/usb/Makefile.inc')
0 files changed, 0 insertions, 0 deletions