From b58f5f192cae956942c288d5a1162403924910f7 Mon Sep 17 00:00:00 2001 From: Michele Locati Date: Tue, 11 Dec 2018 14:18:33 +0100 Subject: [PATCH] Better check of installed extension --- scripts/travisci-test-new-extensions | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/travisci-test-new-extensions b/scripts/travisci-test-new-extensions index fa89db6..f7dab1d 100755 --- a/scripts/travisci-test-new-extensions +++ b/scripts/travisci-test-new-extensions @@ -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