Show installed PHP modules after the new extension has been installed

pull/5/head
Michele Locati 2018-04-12 12:39:39 +02:00
parent 1de03db4ff
commit e01db37cd1
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 2 additions and 2 deletions

View File

@ -56,11 +56,11 @@ testExtension () {
if test -n "$(printf '%s' "${2}" | sed -E 's/^[0-9]+\.[0-9]+$//')" if test -n "$(printf '%s' "${2}" | sed -E 's/^[0-9]+\.[0-9]+$//')"
then then
printf ' INVALID PHP VERSION: %s\n' "${2}" >&2 printf ' INVALID PHP VERSION: %s\n' "${2}" >&2
exit 1 return 0
fi fi
testExtension_Image="$(getExtensionImage "${1}" "${2}")" testExtension_Image="$(getExtensionImage "${1}" "${2}")"
printf ' - Docker image: %s\n' "${testExtension_Image}" printf ' - Docker image: %s\n' "${testExtension_Image}"
docker run --rm --volume "${TRAVIS_BUILD_DIR}:/app" --workdir /app "${testExtension_Image}" ./install-php-extensions "${1}" docker run --rm --volume "${TRAVIS_BUILD_DIR}:/app" --workdir /app "${testExtension_Image}" bash -c "./install-php-extensions ${1} && php -m"
} }
# Test a new extension line # Test a new extension line