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)