diff options
| -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 \ |