diff options
| -rw-r--r-- | Makefile | 8 | ||||
| -rw-r--r-- | templates/Makefile.template | 8 |
2 files changed, 16 insertions, 0 deletions
@@ -143,7 +143,15 @@ CXX = $(CXX_$(CONFIG)) LD = $(LD_$(CONFIG)) LDXX = $(LDXX_$(CONFIG)) AR = ar +ifeq ($(SYSTEM),Linux) STRIP = strip --strip-unneeded +else +ifeq ($(SYSTEM),Darwin) +STRIP = strip -x +else +STRIP = strip +endif +endif INSTALL = install RM = rm -f diff --git a/templates/Makefile.template b/templates/Makefile.template index 226bf07bb0..491f142142 100644 --- a/templates/Makefile.template +++ b/templates/Makefile.template @@ -160,7 +160,15 @@ CXX = $(CXX_$(CONFIG)) LD = $(LD_$(CONFIG)) LDXX = $(LDXX_$(CONFIG)) AR = ar +ifeq ($(SYSTEM),Linux) STRIP = strip --strip-unneeded +else +ifeq ($(SYSTEM),Darwin) +STRIP = strip -x +else +STRIP = strip +endif +endif INSTALL = install RM = rm -f |