From fd62612e9e1f111ea00cd5a9a08e6074508d4bba Mon Sep 17 00:00:00 2001 From: Andreas Braun Date: Mon, 25 Jan 2021 13:46:50 +0100 Subject: [PATCH] Allow building specific commits --- src/scripts/common.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/scripts/common.sh b/src/scripts/common.sh index 1cc7c571..76ef244d 100644 --- a/src/scripts/common.sh +++ b/src/scripts/common.sh @@ -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