X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=settings.make;h=d008a354adf29fdd1404c3b18a6f7e57038541da;hb=9532ae8327cb78467546612f3008e467d092d987;hp=7ee869b27ad69b74ac88e99347d4520d381ffa1a;hpb=d9d8b1a736946ae91c521133dc32d5e1d6b5e506;p=chiark-utils.git

diff --git a/settings.make b/settings.make
index 7ee869b..d008a35 100644
--- a/settings.make
+++ b/settings.make
@@ -16,8 +16,8 @@
 # details.
 #
 # You should have received a copy of the GNU General Public License along
-# with this program; if not, write to the Free Software Foundation, Inc.,
-# 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+# with this program; if not, consult the Free Software Foundation's
+# website at www.fsf.org, or the GNU Project website at www.gnu.org.
 
 CONFIG_CPPFLAGS=	-DRWBUFFER_SIZE_MB=$(RWBUFFER_SIZE_MB) \
 			-DREALLY_CHECK_FILE='"/etc/inittab"'
@@ -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