X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=chiark-utils.git;a=blobdiff_plain;f=settings.make;h=d008a354adf29fdd1404c3b18a6f7e57038541da;hp=52a4f7373b2f164e1d8e61e8bfb5c95dfb5a0ec2;hb=a7cf1cb556e8f28457464f4729f56dad1e6536a9;hpb=506a099cb9d0200b394d19c17d6dc9a3478b9917

diff --git a/settings.make b/settings.make
index 52a4f73..d008a35 100644
--- a/settings.make
+++ b/settings.make
@@ -48,8 +48,10 @@ mandir=${prefix}/man
 man1dir=${mandir}/man1
 man8dir=${mandir}/man8
 
+# INSTALL_PROGRAM_STRIP_OPT=-s
+
 INSTALL=		install -c
 INSTALL_SHARE=		$(INSTALL) -m 644 -o root -g $(SYSTEM_GROUP)
 INSTALL_SCRIPT=		$(INSTALL) -m 755 -o root -g $(SYSTEM_GROUP)
-INSTALL_PROGRAM=	$(INSTALL_SCRIPT) -s
+INSTALL_PROGRAM=	$(INSTALL_SCRIPT) $(INSTALL_PROGRAM_STRIP_OPT)
 INSTALL_DIRECTORY=	$(INSTALL) -m 2755 -o root -g $(SYSTEM_GROUP) -d