[Makefile] Use .PRECIOUS instead of .SECONDARY for bin/%.tmp targets
authorMichael Brown <mcb30@etherboot.org>
Fri, 6 Jun 2008 13:25:25 +0000 (14:25 +0100)
committerMichael Brown <mcb30@etherboot.org>
Fri, 6 Jun 2008 13:25:25 +0000 (14:25 +0100)
Revert "Use .SECONDARY instead of .PRECIOUS for bin/%.tmp targets."

This reverts commit de29e5a39c5ae0ca91b61eaa139a277943dfc7fc.

.SECONDARY doesn't seem to work properly with the target patterns of
implicit rules.  In particular, a "make clean ; make bin/rtl8139.dsk"
will correctly leave the bin/rtl8139.dsk.tmp file present when .PRECIOUS
is used, but not when .SECONDARY is used.

This is slightly irritating since we don't want the
"do-not-delete-if-interrupted" semantics of .PRECIOUS, but it seems to be
the best compromise.

src/Makefile.housekeeping

index bbea2a5..32ad79a 100644 (file)
@@ -371,7 +371,7 @@ $(BIN)/%.tmp : $(BLIB) $(MAKEDEPS) $(LDSCRIPT)
        $(Q)$(OBJDUMP) -ht $@ | $(SORTOBJDUMP) >> $(BIN)/$*.tmp.map
 
 # Keep intermediate object file (useful for debugging)
-.SECONDARY : $(BIN)/%.tmp
+.PRECIOUS : $(BIN)/%.tmp
 
 # Show a linker map for the specified target
 #