summaryrefslogtreecommitdiffstatshomepage
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/makefile b/makefile
index 95a0655310b..5fa510817f1 100644
--- a/makefile
+++ b/makefile
@@ -692,6 +692,10 @@ ifdef MAP
@echo Deleting $(FULLNAME).map...
$(RM) $(FULLNAME).map
endif
+ifdef SYMBOLS
+ @echo Deleting $(FULLNAME).sym...
+ $(RM) $(FULLNAME).sym
+endif
checkautodetect:
@echo TARGETOS=$(TARGETOS)