diff options
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} | |||
| 284 | @echo | 284 | @echo |
| 285 | @echo "Installing utilities for users to run." | 285 | @echo "Installing utilities for users to run." |
| 286 | for file in ${INSTALLABLES} ; do \ | 286 | for file in ${INSTALLABLES} ; do \ |
| 287 | $(INSTALL_PROGRAM) $${file} ${bindir}/$${file} ; \ | 287 | $(INSTALL_PROGRAM) $(INSTALL_STRIP) $${file} ${bindir}/$${file} ; \ |
| 288 | chmod a+rx ${bindir}/$${file}; \ | 288 | chmod a+rx ${bindir}/$${file}; \ |
| 289 | done | 289 | done |
| 290 | for file in ${INSTALLABLE_SCRIPTS} ; do \ | 290 | for file in ${INSTALLABLE_SCRIPTS} ; do \ |