From c742c576d0d0fc7f7d49825f5d3c53fd7b597327 Mon Sep 17 00:00:00 2001 From: Michael Brown Date: Fri, 2 Aug 2019 11:00:43 +0100 Subject: [build] Move predefined all-drivers build shortcut to Makefile The (very approximate) split between Makefile.housekeeping and Makefile is that the former provides mechanism and the latter provides policy. Provide a section within Makefile as a home for predefined build shortcuts such as the existing all-drivers build. Signed-off-by: Michael Brown --- src/Makefile | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'src/Makefile') diff --git a/src/Makefile b/src/Makefile index d74565d13..284a6569f 100644 --- a/src/Makefile +++ b/src/Makefile @@ -220,6 +220,15 @@ endif version : @$(ECHO) "$(VERSION)" +############################################################################### +# +# Predefined build shortcuts (for e.g. bin/ipxe.iso) + +# All drivers (excluding USB) +# +DRIVERS_ipxe = $(DRIVERS_net) $(DRIVERS_infiniband) \ + $(DRIVERS_xen) $(DRIVERS_hyperv) + ############################################################################### # # Drag in the bulk of the build system -- cgit v1.2.3-55-g7522