From c854f859115add2ed95e2e4df36bce2eb2e6f22a Mon Sep 17 00:00:00 2001
From: Pierre Boutillier <pierre.boutillier@pps.univ-paris-diderot.fr>
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.
---
 install.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'install.sh')

diff --git a/install.sh b/install.sh
index 4b3abe5c6..c5835b014 100755
--- a/install.sh
+++ b/install.sh
@@ -7,5 +7,10 @@ for f; do
   bn=`basename $f`
   dn=`dirname $f`
   install -d "$dest/$dn"
-  install -m 644 $f "$dest/$dn/$bn"
+  case $bn in
+      *.cmxs) install -m 755 $f "$dest/$dn/$bn"
+	      ;;
+      *) install -m 644 $f "$dest/$dn/$bn"
+	 ;;
+  esac
 done
-- 
cgit v1.2.3