From e0cb22485481351242dff65ab0cce9a7b6fc3400 Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Sun, 6 Jan 2013 15:59:16 +0100
Subject: Add install-strip target

---
 src/Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index a7d2415..4bc49b4 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -6,11 +6,14 @@ install-binaries = $(addprefix install-,$(binaries))
 uninstall-binaries = $(addprefix uninstall-,$(binaries))
 objects = paths.o common.o
 
-.PHONY: all install $(install-binaries) uninstall $(uninstall-binaries)
+.PHONY: all install $(install-binaries) uninstall $(uninstall-binaries) \
+	install-strip
 
 all: $(binaries)
 install: $(install-binaries)
 uninstall: $(uninstall-binaries)
+install-strip:
+	$(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install
 
 markam: markam.scm $(objects)
 	$(CSC) $^ -o $@
-- 
cgit v1.3-2-g0d8e