diff options
Diffstat (limited to 'Build/source/utils/xindy/rte/Makefile.am')
-rw-r--r-- | Build/source/utils/xindy/rte/Makefile.am | 2 |
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 |