- PHP=7.2 enable_debug=yes enable_maintainer_zts=no enable_json=yes
- PHP=7.2 enable_debug=no enable_maintainer_zts=yes enable_json=yes
- PHP=7.2 enable_debug=yes enable_maintainer_zts=yes enable_json=yes
- - CFLAGS='-O0 -g --profile' CXXFLAGS='-O0 -g --profile' PHP=7.2 enable_json=yes
+ - CFLAGS='-O0 -g --coverage' CXXFLAGS='-O0 -g --coverage' PHP=7.2 enable_json=yes
cache:
directories: