diff --git a/config/RULES.Host b/config/RULES.Host index fd9c29c54..52c3c0c27 100644 --- a/config/RULES.Host +++ b/config/RULES.Host @@ -426,7 +426,7 @@ PROD_MAKE_COMMAND=$(MAKE) $@\ PRODNAME_RCS_$(ARCH_CLASS)="$($(basename $@)_RCS_$(ARCH_CLASS))"\ PRODNAME_LIBS="$($(basename $@)_LIBS)" -$(PROD): $(SRCS) $(COND_PROD_SRCS) $(PROD_RESS) $(PROD_DEPLIBS) $(COND_PROD_DEPLIBS) +$(PROD): $(SRCS) $(PROD_OBJS) $(COND_PROD_SRCS) $(PROD_RESS) $(PROD_DEPLIBS) $(COND_PROD_DEPLIBS) @$(PROD_MAKE_COMMAND) endif