Merge pull request #2203 from hazaveh/php-redis-fix

Fix: build workspace with INSTALL_PHPREDIS
This commit is contained in:
ahkui 2019-08-21 00:15:47 +08:00 committed by GitHub
commit 818eb1f59d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -444,6 +444,7 @@ RUN if [ ${INSTALL_CASSANDRA} = true ]; then \
ARG INSTALL_PHPREDIS=false ARG INSTALL_PHPREDIS=false
RUN if [ ${INSTALL_PHPREDIS} = true ]; then \ RUN if [ ${INSTALL_PHPREDIS} = true ]; then \
apt-get update -yqq && \
apt-get install -yqq php-redis \ apt-get install -yqq php-redis \
;fi ;fi