diff options
Diffstat (limited to 'install.sh')
-rwxr-xr-x | install.sh | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -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 |