diff options
author | Dmitry Stogov <dmitry@zend.com> | 2019-07-03 20:19:56 +0300 |
---|---|---|
committer | Dmitry Stogov <dmitry@zend.com> | 2019-07-03 20:19:56 +0300 |
commit | 09041151de1543b69e74a6a9637455b463700a24 (patch) | |
tree | dce62a5d1c2a85b7e0f7cfd97944d186441647f7 /azure-pipelines.yml | |
parent | 87249091d5d68ddee0ac8c081e1feda77439b626 (diff) | |
download | php-git-09041151de1543b69e74a6a9637455b463700a24.tar.gz |
Better optimization in RELEASE build. ZEND_ASSERT(s) prevented optimization
Diffstat (limited to 'azure-pipelines.yml')
0 files changed, 0 insertions, 0 deletions