Use .SECONDARY instead of .PRECIOUS for bin/%.tmp targets.

diff --git a/src/Makefile.housekeeping b/src/Makefile.housekeeping
index a5bb9a4ba4e4a3ce70fe77be195095b5150f39b9..754c2930deb0ae00adcd0ad9b235f34593276be1 100644 (file)
--- a/src/Makefile.housekeeping
+++ b/src/Makefile.housekeeping
@@ -357,7 +357,7 @@ $(BIN)/%.tmp : $(BLIB) $(MAKEDEPS) $(LDSCRIPT)
        $(Q)$(OBJDUMP) -ht $@ | $(SORTOBJDUMP) >> $(BIN)/$*.tmp.map
 
 # Keep intermediate object file (useful for debugging)
-.PRECIOUS : $(BIN)/%.tmp
+.SECONDARY : $(BIN)/%.tmp
 
 # Show a linker map for the specified target
 #