- 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:
"enable_maintainer_zts",
"enable_json" => "yes"
], [
- "CFLAGS" => "'-O0 -g --profile'",
- "CXXFLAGS" => "'-O0 -g --profile'",
+ "CFLAGS" => "'-O0 -g --coverage'",
+ "CXXFLAGS" => "'-O0 -g --coverage'",
"PHP" => $cur,
"enable_json" => "yes"
]);