diff --git a/config/RULES.Host b/config/RULES.Host
index 7e661bef2..6e48c2b79 100644
--- a/config/RULES.Host
+++ b/config/RULES.Host
@@ -456,9 +456,12 @@ PROD_MAKE_COMMAND=$(MAKE) $@\
 $(PROD): $(SRCS) $(COND_PROD_SRCS) $(PROD_RESS) $(PROD_DEPLIBS) $(COND_PROD_DEPLIBS)
 	@$(PROD_MAKE_COMMAND)
 
+ifdef BAF
 $(PROD_BAF): $(PROD)
 	@$(PROD_MAKE_COMMAND)
 endif
+
+endif
 endif  #ifdef PRODNAME
 
 endif  #ifdef PROD