diff options
| author | James White <james@jmwhite.co.uk> | 2018-03-10 14:07:29 +0300 |
|---|---|---|
| committer | Michael Boelen <michael.boelen@cisofy.com> | 2018-03-10 14:07:29 +0300 |
| commit | 1d982a26d0ca3de9790930c3f75480ec367fb9b1 (patch) | |
| tree | f54da7bae015c4ee838330685958f593e8b8f649 /include/tests_php | |
| parent | 692dfe9c6b37d6753773312ce05a2cf3fcf480b9 (diff) | |
Add remi repo php.ini paths (#529)
Diffstat (limited to 'include/tests_php')
| -rw-r--r-- | include/tests_php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/include/tests_php b/include/tests_php index 1b1fc832..44f0296b 100644 --- a/include/tests_php +++ b/include/tests_php @@ -65,7 +65,11 @@ ${ROOTDIR}opt/alt/php55/etc/php.ini \ ${ROOTDIR}opt/alt/php56/etc/php.ini \ ${ROOTDIR}opt/alt/php70/etc/php.ini \ - ${ROOTDIR}opt/alt/php71/etc/php.ini" + ${ROOTDIR}opt/alt/php71/etc/php.ini \ + ${ROOTDIR}etc/opt/remi/php56/php.ini \ + ${ROOTDIR}etc/opt/remi/php70/php.ini \ + ${ROOTDIR}etc/opt/remi/php71/php.ini \ + ${ROOTDIR}etc/opt/remi/php72/php.ini" PHPINIDIRS="${ROOTDIR}etc/php5/conf.d \ ${ROOTDIR}etc/php/7.0/cli/conf.d \ |