public-mirrors/docker-php-extension-installer
1
0
Fork 0
mirror of https://github.com/mlocati/docker-php-extension-installer synced 2025-05-10 00:52:45 +00:00
Code Activity

Add support for memprof on Debian (#530)

Browse source
This commit is contained in:
Michele Locati 2022-03-23 10:55:44 +01:00 • committed by GitHub
parent 57c01542fd
commit e3fc02766a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 31 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
scripts/ci-test-extensions
View file

@ -118,9 +118,20 @@ filterUnsupportedExensionsForDistro() {
fi
filterUnsupportedExensionsForDistro_filtered=''
IFS=' '
case "$IPETEST_DOCKER_DISTRO" in
alpine*)
filterUnsupportedExensionsForDistro_baseDistro="alpine"
;;
*)
filterUnsupportedExensionsForDistro_baseDistro="debian"
;;
esac
for filterUnsupportedExensionsForDistro_extension in $EXTENSIONS_TO_BE_TESTED; do
if stringInList "!$IPETEST_DOCKER_DISTRO" "$(cat "$filterUnsupportedExensionsForDistro_reqs" | grep -E "^$filterUnsupportedExensionsForDistro_extension[ \t]")"; then
printf 'Note: extension "%s" is not supported for distro "%s"\n' "$filterUnsupportedExensionsForDistro_extension" "$IPETEST_DOCKER_DISTRO"
elif stringInList "!$filterUnsupportedExensionsForDistro_baseDistro" "$(cat "$filterUnsupportedExensionsForDistro_reqs" | grep -E "^$filterUnsupportedExensionsForDistro_extension[ \t]")"; then
printf 'Note: extension "%s" is not supported for distro "%s"\n' "$filterUnsupportedExensionsForDistro_extension" "$filterUnsupportedExensionsForDistro_baseDistro"
else
filterUnsupportedExensionsForDistro_filtered="$filterUnsupportedExensionsForDistro_filtered $filterUnsupportedExensionsForDistro_extension"
fi