diff options
-rw-r--r-- | arch/arm/common/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/arm/common/Makefile b/arch/arm/common/Makefile index 48c0ee578174..53e68b163196 100644 --- a/arch/arm/common/Makefile +++ b/arch/arm/common/Makefile @@ -12,3 +12,5 @@ obj-$(CONFIG_SHARP_SCOOP) += scoop.o obj-$(CONFIG_PCI_HOST_ITE8152) += it8152.o obj-$(CONFIG_ARM_TIMER_SP804) += timer-sp.o obj-$(CONFIG_MCPM) += mcpm_head.o mcpm_entry.o mcpm_platsmp.o vlock.o +AFLAGS_mcpm_head.o := -march=armv7-a +AFLAGS_vlock.o := -march=armv7-a |