1
0
Fork 0
mirror of https://github.com/mlocati/docker-php-extension-installer synced 2025-05-08 16:17:20 +00:00

Add script version

This commit is contained in:
Michele Locati 2021-01-14 17:05:23 +01:00
parent 9a792f073b
commit 93322b87d0
No known key found for this signature in database
GPG key ID: 98B7CE2E7234E28B
6 changed files with 36 additions and 4 deletions

View file

@ -10,7 +10,7 @@ if test -n "$WANTED_VERSION"; then
INSTALLME="$INSTALLME-$1"
fi
./install-php-extensions "$INSTALLME"
CI=true ./install-php-extensions "$INSTALLME"
INSTALLED_VERSION="$(php --ri xdebug | grep -Ei 'Version\s*=>\s*' | sed -E 's/^.*?=>\s*//')"
if test -z "$WANTED_VERSION"; then