mirror of
https://github.com/shivammathur/setup-php.git
synced 2024-11-22 11:51:07 +07:00
Allow building specific commits
This commit is contained in:
parent
26791e8412
commit
fd62612e9e
@ -279,8 +279,10 @@ add_extension_from_github() {
|
||||
(
|
||||
add_devtools phpize
|
||||
delete_extension "$extension"
|
||||
git clone --recurse-submodules -b "$release" https://github.com/"$org"/"$repo" /tmp/"$repo-$release" || exit 1
|
||||
git clone -n https://github.com/"$org"/"$repo" /tmp/"$repo-$release" || exit 1
|
||||
cd /tmp/"$repo-$release" || exit 1
|
||||
git checkout "$release" || exit 1
|
||||
git submodule update --init --recursive || exit 1
|
||||
phpize && ./configure && make -j"$(nproc)" && sudo make install
|
||||
enable_extension "$extension" "$prefix"
|
||||
) >/dev/null 2>&1
|
||||
|
Loading…
Reference in New Issue
Block a user