diff options
| -rw-r--r-- | Make.config | 3 | ||||
| -rw-r--r-- | tools/convpic/Makefile | 2 | ||||
| -rw-r--r-- | tools/crtfont/Makefile | 2 | ||||
| -rw-r--r-- | tools/genfont/Makefile | 2 | ||||
| -rw-r--r-- | tools/lcdtestpattern/Makefile | 2 | ||||
| -rw-r--r-- | tools/showpic/Makefile | 2 | ||||
| -rw-r--r-- | tools/showtext/Makefile | 2 |
7 files changed, 9 insertions, 6 deletions
diff --git a/Make.config b/Make.config index cdafd16..017f2b6 100644 --- a/Make.config +++ b/Make.config @@ -14,6 +14,9 @@ CXXFLAGS = -g -O2 -Wall -Woverloaded-virtual LDCONFIG = ldconfig +### strip binaries when installing by default, but allow easyly supressing it +STRIP ?= -s + ### The directory environment: ifndef $(DESTDIR) diff --git a/tools/convpic/Makefile b/tools/convpic/Makefile index 3932e5f..da5494b 100644 --- a/tools/convpic/Makefile +++ b/tools/convpic/Makefile @@ -36,7 +36,7 @@ $(PRGNAME): $(OBJS) install: $(PRGNAME) install -d $(BINDIR) - install -m 755 -o root -g root -s $(PRGNAME) $(BINDIR) + install -m 755 -o root -g root $(STRIP) $(PRGNAME) $(BINDIR) uninstall: rm -f $(BINDIR)/$(PRGNAME) diff --git a/tools/crtfont/Makefile b/tools/crtfont/Makefile index bcd100f..592d123 100644 --- a/tools/crtfont/Makefile +++ b/tools/crtfont/Makefile @@ -35,7 +35,7 @@ $(PRGNAME): $(OBJS) install: $(PRGNAME) install -d $(BINDIR) - install -m 755 -o root -g root -s $(PRGNAME) $(BINDIR) + install -m 755 -o root -g root $(STRIP) $(PRGNAME) $(BINDIR) uninstall: rm -f $(BINDIR)/$(PRGNAME) diff --git a/tools/genfont/Makefile b/tools/genfont/Makefile index 14837b0..e516a21 100644 --- a/tools/genfont/Makefile +++ b/tools/genfont/Makefile @@ -38,7 +38,7 @@ $(PRGNAME): $(OBJS) install: $(PRGNAME) install -d $(BINDIR) - install -m 755 -o root -g root -s $(PRGNAME) $(BINDIR) + install -m 755 -o root -g root $(STRIP) $(PRGNAME) $(BINDIR) uninstall: rm -f $(BINDIR)/$(PRGNAME) diff --git a/tools/lcdtestpattern/Makefile b/tools/lcdtestpattern/Makefile index 504e27c..51b1123 100644 --- a/tools/lcdtestpattern/Makefile +++ b/tools/lcdtestpattern/Makefile @@ -36,7 +36,7 @@ $(PRGNAME): $(OBJS) install: $(PRGNAME) install -d $(BINDIR) - install -m 755 -o root -g root -s $(PRGNAME) $(BINDIR) + install -m 755 -o root -g root $(STRIP) $(PRGNAME) $(BINDIR) uninstall: rm -f $(BINDIR)/$(PRGNAME) diff --git a/tools/showpic/Makefile b/tools/showpic/Makefile index 5d15d61..52c1850 100644 --- a/tools/showpic/Makefile +++ b/tools/showpic/Makefile @@ -36,7 +36,7 @@ $(PRGNAME): $(OBJS) install: $(PRGNAME) install -d $(BINDIR) - install -m 755 -o root -g root -s $(PRGNAME) $(BINDIR) + install -m 755 -o root -g root $(STRIP) $(PRGNAME) $(BINDIR) uninstall: rm -f $(BINDIR)/$(PRGNAME) diff --git a/tools/showtext/Makefile b/tools/showtext/Makefile index d0d963a..d43c986 100644 --- a/tools/showtext/Makefile +++ b/tools/showtext/Makefile @@ -36,7 +36,7 @@ $(PRGNAME): $(OBJS) install: $(PRGNAME) install -d $(BINDIR) - install -m 755 -o root -g root -s $(PRGNAME) $(BINDIR) + install -m 755 -o root -g root $(STRIP) $(PRGNAME) $(BINDIR) uninstall: rm -f $(BINDIR)/$(PRGNAME) |