diff options
author | Richard M. Stallman <rms@gnu.org> | 1998-03-06 01:12:57 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1998-03-06 01:12:57 +0000 |
commit | 3e2c89815d3f967214dd1f58bdb75d9d22d1f570 (patch) | |
tree | 38f72f8d2993d308573d59247c9fccf60af9a4d2 /lib-src/Makefile.in | |
parent | 19618231c31ba49a1a64214d49ed672c679e485a (diff) | |
download | emacs-3e2c89815d3f967214dd1f58bdb75d9d22d1f570.tar.gz |
(install): Use INSTALL_STRIP with INSTALL_PROGRAM for the utilities.
Diffstat (limited to 'lib-src/Makefile.in')
-rw-r--r-- | lib-src/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib-src/Makefile.in b/lib-src/Makefile.in index b8cf1fac2ca..24730fb42fe 100644 --- a/lib-src/Makefile.in +++ b/lib-src/Makefile.in @@ -284,7 +284,7 @@ install: ${archlibdir} @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 \ |