summaryrefslogtreecommitdiff
path: root/Build/source/utils/xindy/rte/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/xindy/rte/Makefile.am')
-rw-r--r--Build/source/utils/xindy/rte/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/utils/xindy/rte/Makefile.am b/Build/source/utils/xindy/rte/Makefile.am
index 3b05f54b40b..01ee8377f39 100644
--- a/Build/source/utils/xindy/rte/Makefile.am
+++ b/Build/source/utils/xindy/rte/Makefile.am
@@ -39,7 +39,7 @@ $(binariesdir)/$(XINDY_RUN):
$(MAKE) -C ordrules ordrulei.c
env CLISP_LINKKIT='$(CLISP_LIB)/linkkit' MAKE="$(MAKE)" \
sh '$(CLISP_LIB)/clisp-link' add-module-set ordrules '$(CLISP_LIB)/full' xindy-build-dir
- cp xindy-build-dir/$(LISP_RUN) $(binariesdir)/$(XINDY_RUN)
+ $(INSTALL_STRIP_PROGRAM) xindy-build-dir/$(LISP_RUN) $(binariesdir)/$(XINDY_RUN)
clean-local:
rm -rf xindy-build-dir