diff options
-rw-r--r-- | src/Makefile.housekeeping | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Makefile.housekeeping b/src/Makefile.housekeeping index 1e97ee6..a5bb9a4 100644 --- a/src/Makefile.housekeeping +++ b/src/Makefile.housekeeping @@ -356,6 +356,9 @@ $(BIN)/%.tmp : $(BLIB) $(MAKEDEPS) $(LDSCRIPT) -Map $(BIN)/$*.tmp.map $(Q)$(OBJDUMP) -ht $@ | $(SORTOBJDUMP) >> $(BIN)/$*.tmp.map +# Keep intermediate object file (useful for debugging) +.PRECIOUS : $(BIN)/%.tmp + # Show a linker map for the specified target # $(BIN)/%.map : $(BIN)/%.tmp |