diff options
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index a5ee9c80f1..20e2979b63 100644 --- a/Makefile.common +++ b/Makefile.common @@ -131,6 +131,13 @@ else PROFILE = endif +# By default, strip symbol information from executable +ifdef KEEP_SYMBOLS +STRIP = +else +STRIP = -s +endif + # Allow gnu extensions... CPPFLAGS += -D_GNU_SOURCE @@ -149,7 +156,7 @@ Link := $(PURIFY) $(CXX) $(PROFILE) -static else Link := $(CXX) $(PROFILE) endif -LinkG := $(Link) -g -L $(LIBDEBUG) +LinkG := $(Link) -g -L $(LIBDEBUG) $(STRIP) LinkO := $(Link) -O3 -L $(LIBRELEASE) # Create one .o file from a bunch of .o files... |