diff options
author | Jarrod Makin <jmakin@godaddy.com> | 2019-01-07 14:10:22 +0000 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2019-01-07 15:46:30 +0100 |
commit | b0f1fa504c35bd1c7a94cdd2c15c62a6667e91a7 (patch) | |
tree | cf7545d31bba7d2d7dd4ec41c90545cf06a2126b /php-7.2.4-dlopen.patch | |
parent | 91186080032f03d6803f95a59b6ba0f58b96ada8 (diff) |
Enable build to complete if 'with_zts' is set to 0
Diffstat (limited to 'php-7.2.4-dlopen.patch')
0 files changed, 0 insertions, 0 deletions