"make bin/xxx DEBUG=yyy,zzz" now works seemingly perfectly. :)

diff --git a/src/Makefile.housekeeping b/src/Makefile.housekeeping
index 9c8f28bd56810c407a403fe20ad7a721614b5b2c..70c716a0695b4eb18ad3ee886b48d1878d11aae6 100644 (file)
--- a/src/Makefile.housekeeping
+++ b/src/Makefile.housekeeping
@@ -258,10 +258,11 @@ $(BIN)/%.info :
 # changes.
 #
 BLIB_LIST      = $(BIN)/.blib.list
-.PHONY : always_check_blib_list
-$(BLIB_LIST) : always_check_blib_list
-       @[ "$(shell cat $@)" = "$(BLIB_OBJS)" ] || echo "$(BLIB_OBJS)" > $@
-.SECONDARY : $(BLIB_LIST)
+ifneq ($(shell cat $(BLIB_LIST)),$(BLIB_OBJS))
+$(shell echo "$(BLIB_OBJS)" > $(BLIB_LIST))
+endif
+
+$(BLIB_LIST) :
 
 # Library of all objects
 #