Merge pull request #31244 from pbogdan/textadept-fix-build

textadept: fix build
This commit is contained in:
Michael Raskin 2017-11-04 14:07:01 +00:00 committed by GitHub
commit 8868daa5e6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -32,7 +32,7 @@ let
build_dir=$PWD
cd $TMPDIR
local_path=$(basename ${store_path} .zip | sed -e 's/^[a-z0-9]*-//')
local_path=$(basename ${url} .zip)
cp -r ${store_path} $local_path
chmod u+rwX -R $local_path