diff options
author | Pierre Boutillier <pierre.boutillier@pps.univ-paris-diderot.fr> | 2014-12-17 11:11:43 +0100 |
---|---|---|
committer | Pierre Boutillier <pierre.boutillier@pps.univ-paris-diderot.fr> | 2014-12-17 11:56:15 +0100 |
commit | c854f859115add2ed95e2e4df36bce2eb2e6f22a (patch) | |
tree | 8db8ed8068064a3369b3fe20bdcac35d24e05b9a /install.sh | |
parent | a65f9028c4834fe2ae803d1155780c1caf6790c4 (diff) |
Revert and correctly fix "#4843 part 2 : The .cmxs files for plugins must have x permission"
This reverts commit 607503b28fca50f4b76b2237d5ca13802b8252fa.
Diffstat (limited to 'install.sh')
-rwxr-xr-x | install.sh | 7 |
1 files changed, 6 insertions, 1 deletions
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 |