diff options
| -rw-r--r-- | src/arch/arm/armv7/Makefile.inc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/arch/arm/armv7/Makefile.inc b/src/arch/arm/armv7/Makefile.inc index c22c8c6b40..dac4276bbe 100644 --- a/src/arch/arm/armv7/Makefile.inc +++ b/src/arch/arm/armv7/Makefile.inc @@ -50,6 +50,8 @@ endif # CONFIG_ARCH_BOOTBLOCK_ARMV7 ## verification stage ################################################################################ +ifeq ($(CONFIG_ARCH_VERSTAGE_ARM_V7),y) + verstage-c-ccopts += $(armv7_flags) verstage-S-ccopts += $(armv7_asm_flags) verstage-y += cache.c @@ -58,6 +60,8 @@ verstage-y += exception.c verstage-y += exception_asm.S verstage-y += mmu.c +endif # CONFIG_ARCH_VERSTAGE_ARMV7 + ############################################################################### # romstage ############################################################################### |