actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2024-11-26 13:23:05 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix sub-directory support for extension setup from source

Browse Source
This commit is contained in:
Shivam Mathur 2021-03-17 09:42:52 +05:30
parent 39faaac1d3
commit 7627a79c01
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/scripts/ext/source.sh
View File

@ -64,8 +64,9 @@ add_extension_from_source() {
add_devtools phpize >/dev/null add_devtools phpize >/dev/null
delete_extension "$extension" delete_extension "$extension"
run_group "git clone -nv $domain/$org/$repo /tmp/$repo-$release" "git clone" run_group "git clone -nv $domain/$org/$repo /tmp/$repo-$release" "git clone"
cd /tmp/"$repo-$release/$sub_dir" || exit 1 cd /tmp/"$repo-$release" || exit 1
git checkout -q "$release" git checkout -q "$release"
cd $sub_dir || exit 1
if ! [ "$(find . -maxdepth 1 -name '*.m4' -exec grep -H 'PHP_NEW_EXTENSION' {} \; | wc -l)" != "0" ]; then if ! [ "$(find . -maxdepth 1 -name '*.m4' -exec grep -H 'PHP_NEW_EXTENSION' {} \; | wc -l)" != "0" ]; then
add_log "${cross:?}" "$domain/$org/$repo" "$domain/$org/$repo does not have a PHP extension" add_log "${cross:?}" "$domain/$org/$repo" "$domain/$org/$repo does not have a PHP extension"
else else