Merge pull request #2343 from zill057/master

Add CHANGE_SOURCE option for php-worker
This commit is contained in:
Shao Yu-Lung (Allen)
2019-12-05 11:41:30 +08:00
committed by GitHub
2 changed files with 9 additions and 0 deletions

View File

@ -232,6 +232,7 @@ services:
build:
context: ./php-worker
args:
- CHANGE_SOURCE=${CHANGE_SOURCE}
- PHP_VERSION=${PHP_VERSION}
- PHALCON_VERSION=${PHALCON_VERSION}
- INSTALL_PGSQL=${PHP_WORKER_INSTALL_PGSQL}