From 7627a79c01fb3adac6289b27419c6f64fff8aa61 Mon Sep 17 00:00:00 2001 From: Shivam Mathur Date: Wed, 17 Mar 2021 09:42:52 +0530 Subject: [PATCH] Fix sub-directory support for extension setup from source --- src/scripts/ext/source.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/scripts/ext/source.sh b/src/scripts/ext/source.sh index e91d3cb8..9c34d75e 100644 --- a/src/scripts/ext/source.sh +++ b/src/scripts/ext/source.sh @@ -64,8 +64,9 @@ add_extension_from_source() { add_devtools phpize >/dev/null delete_extension "$extension" 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" + cd $sub_dir || exit 1 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" else