changeset 21072:ef9a01b67c87

(install): Use INSTALL_STRIP with INSTALL_PROGRAM for the utilities.
author Richard M. Stallman <rms@gnu.org>
date Fri, 06 Mar 1998 01:12:57 +0000
parents 39d081df3643
children 82e7d581bad1
files lib-src/Makefile.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lib-src/Makefile.in	Thu Mar 05 04:00:53 1998 +0000
+++ b/lib-src/Makefile.in	Fri Mar 06 01:12:57 1998 +0000
@@ -284,7 +284,7 @@
 	@echo
 	@echo "Installing utilities for users to run."
 	for file in ${INSTALLABLES} ; do \
-	  $(INSTALL_PROGRAM) $${file} ${bindir}/$${file} ; \
+	  $(INSTALL_PROGRAM) $(INSTALL_STRIP) $${file} ${bindir}/$${file} ; \
 	  chmod a+rx ${bindir}/$${file}; \
 	done
 	for file in ${INSTALLABLE_SCRIPTS} ; do \