arm*/head.o isn't in obj-y or extra-y, so make don't load the
associated .*.d file (or .*.cmd file when if_changed will be used).
There is a workaround where .*.d file is added manually into DEPS.
Changing DEPS isn't needed, we can simply add head.o into extra-y and
the dependency files will be loaded.
Signed-off-by: Anthony PERARD
---
Notes:
v4:
- new patch, fix rebuild of head.o with "xen/build: Start using
if_changed" applied
xen/arch/arm/Makefile | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/xen/arch/arm/Makefile b/xen/arch/arm/Makefile
index 12f92a4bd3f9..7273f356f190 100644
--- a/xen/arch/arm/Makefile
+++ b/xen/arch/arm/Makefile
@@ -62,6 +62,7 @@ obj-$(CONFIG_SBSA_VUART_CONSOLE) += vpl011.o
obj-y += vsmc.o
obj-y += vpsci.o
obj-y += vuart.o
+extra-y += $(TARGET_SUBARCH)/head.o
#obj-bin-y += o
@@ -72,8 +73,6 @@ endif
ALL_OBJS := $(TARGET_SUBARCH)/head.o $(ALL_OBJS)
-DEPS += $(TARGET_SUBARCH)/.head.o.d
-
ifdef CONFIG_LIVEPATCH
all_symbols = --all-symbols
ifdef CONFIG_FAST_SYMBOL_LOOKUP
--
Anthony PERARD