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 | 6377ccc29dd4578a86086d6f61ada0dc02084a17 (patch) | |
tree | 6d685cf51e568a1de924867a346af0e59506d0c8 /lib-src | |
parent | cdb0d481c355ffb481ff18967af17db13181fe10 (diff) | |
download | emacs-6377ccc29dd4578a86086d6f61ada0dc02084a17.tar.gz |
(install): Use INSTALL_STRIP with INSTALL_PROGRAM for the utilities.
Diffstat (limited to 'lib-src')
-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 \ |