From 9586ab48898bbce3b9b84b661de5ea501527307b Mon Sep 17 00:00:00 2001 From: Peter Maydell Date: Mon, 5 Dec 2011 17:47:41 +0000 Subject: Makefile: Don't require filesystem.cpio.gz if building non-initrd Introduce a USE_INITRD switch so we can avoid requiring the user to touch a pointless filesystem.cpio.gz if they're not using an initrd. Signed-off-by: Peter Maydell --- Makefile | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 38f1df6..0e07bf1 100644 --- a/Makefile +++ b/Makefile @@ -6,11 +6,19 @@ # found in the LICENSE.txt file. CPPFLAGS += -DSMP -#CPPFLAGS += -DUSE_INITRD #CPPFLAGS += -DTHUMB2_KERNEL CPPFLAGS += -march=armv7-a CPPFLAGS += -DVEXPRESS +# Turn this on to use an initrd whose contents are in filesystem.cpio.gz +USE_INITRD = no +ifeq ($(USE_INITRD),yes) +CPPFLAGS += -DUSE_INITRD +FILESYSTEM = filesystem.cpio.gz +else +FILESYSTEM = +endif + # MPS (Cortex-M3) definitions #CPPFLAGS += -DMACH_MPS -DTHUMB2_KERNEL #CPPFLAGS += -march=armv7-m @@ -20,7 +28,6 @@ MONITOR = monitor.S BOOTLOADER = boot.S KERNEL_SRC = ../linux-kvm-arm KERNEL = uImage -FILESYSTEM = filesystem.cpio.gz IMAGE = linux-system.axf LD_SCRIPT = model.lds.S -- cgit v1.2.3