tree cc89120ddef20e4272bb23617a29251a96f180c0
parent 64b88623cb7115bb064f9c847d88021e30c82499
author Idwer Vollering <vidwer@gmail.com> 1610369064 +0100
committer Patrick Georgi <pgeorgi@google.com> 1611565688 +0000

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>