[build] Add predefined shortcut for Raspberry Pi builds
authorMichael Brown <mcb30@ipxe.org>
Fri, 2 Aug 2019 10:57:35 +0000 (11:57 +0100)
committerMichael Brown <mcb30@ipxe.org>
Fri, 2 Aug 2019 10:57:35 +0000 (11:57 +0100)
commitc63ef427a2b18d318b313a4adf6267bb4dfa0c1c
tree91b95a50a9a6694f94e11801e32ee69e655ac733
parentc742c576d0d0fc7f7d49825f5d3c53fd7b597327
[build] Add predefined shortcut for Raspberry Pi builds

Add a build shortcut "rpi", allowing for e.g.

  make CONFIG=rpi CROSS=aarch64-linux-gnu- bin-arm64-efi/rpi.efi

Signed-off-by: Michael Brown <mcb30@ipxe.org>
src/Makefile