diff options
| author | Andres Rey <[email protected]> | 2020-04-13 21:15:23 +0100 |
|---|---|---|
| committer | Andres Rey <[email protected]> | 2020-04-13 21:15:23 +0100 |
| commit | 96771c4c7be1d4f9068cce36e5c3aacc72547e7a (patch) | |
| tree | 491d928827310c5f5a43ddc254144af369c1a9d0 /docker | |
| parent | 4ac991c9150c52acdc4e6c53deee3822b3affb71 (diff) | |
Pin version of Xdebug on PHP 7.0
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/php/Dockerfile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/docker/php/Dockerfile b/docker/php/Dockerfile index 8971d1f..c1fef3d 100644 --- a/docker/php/Dockerfile +++ b/docker/php/Dockerfile @@ -2,7 +2,12 @@ ARG PHP_VERSION ARG LIBXML_VERSION FROM andreskrey/php-${PHP_VERSION}:libxml-${LIBXML_VERSION} -RUN pecl install xdebug && docker-php-ext-enable xdebug +RUN apt-get update + +# Check if there's a pinned version of Xdebug for compatibility reasons +ARG XDEBUG_VERSION +RUN pecl install xdebug$(if [ ! ${XDEBUG_VERSION} = '' ]; then echo -${XDEBUG_VERSION} ; fi) && docker-php-ext-enable xdebug + # Required by coveralls RUN apt-get install git -y |