Better check of installed extension

pull/10/head
Michele Locati 2018-12-11 14:18:33 +01:00
parent 79f6025d71
commit b58f5f192c
1 changed files with 1 additions and 1 deletions

View File

@ -60,7 +60,7 @@ testExtension () {
fi
testExtension_Image="$(getExtensionImage "${1}" "${2}")"
printf ' - Docker image: %s\n' "${testExtension_Image}"
docker run --rm --volume "${TRAVIS_BUILD_DIR}:/app" --workdir /app "${testExtension_Image}" bash -c "./install-php-extensions ${1} && php -m"
docker run --rm --volume "${TRAVIS_BUILD_DIR}:/app" --workdir /app "${testExtension_Image}" bash -c "./install-php-extensions ${1} && php -r "'"'"exit(extension_loaded('${1}') ? 0 : 1);"'"'""
}
# Test a new extension line