diff options
author | FiveFilters.org <[email protected]> | 2021-08-13 21:44:34 +0200 |
---|---|---|
committer | FiveFilters.org <[email protected]> | 2021-08-13 21:44:34 +0200 |
commit | 7a3911377006e779761b88a687344e0708c16e15 (patch) | |
tree | 2c9da392ab80138b43eeac7e43e53835a1d05ca4 /docker | |
parent | ff72a2660a30eecb6c14eb1e0253a3949e3307a3 (diff) |
Update automated test scripts
Diffstat (limited to 'docker')
-rw-r--r-- | docker/php/Dockerfile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docker/php/Dockerfile b/docker/php/Dockerfile index 58a2eb3..bb3bd46 100644 --- a/docker/php/Dockerfile +++ b/docker/php/Dockerfile @@ -31,8 +31,8 @@ RUN docker-php-source extract && \ #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 +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 +RUN apt-get install git -y |