From c854f859115add2ed95e2e4df36bce2eb2e6f22a Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Wed, 17 Dec 2014 11:11:43 +0100
Subject: Revert and correctly fix "#4843 part 2 : The .cmxs files for plugins
 must have x permission"

This reverts commit 607503b28fca50f4b76b2237d5ca13802b8252fa.
---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.build')

diff --git a/Makefile.build b/Makefile.build
index 3aa681bfde..bd236682ee 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -771,7 +771,7 @@ ifndef CUSTOM
 endif
 ifeq ($(BEST),opt)
 	$(INSTALLLIB) $(LIBCOQRUN) $(FULLCOQLIB)
-	$(INSTALLBIN) $(FULLCOQLIB) $(PLUGINSOPT)
+	$(INSTALLSH) $(FULLCOQLIB) $(PLUGINSOPT)
 endif
 # csdpcert is not meant to be directly called by the user; we install
 # it with libraries
-- 
cgit v1.2.3