From: Michael Wallner Date: Tue, 6 Mar 2018 16:04:57 +0000 (+0100) Subject: fix s/profile/coverage/ X-Git-Tag: v1.0.2~12 X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=e7cc5aa2555ae43ca224ffa37fd442863d57d89a;p=m6w6%2Fext-apfd fix s/profile/coverage/ --- diff --git a/.travis.yml b/.travis.yml index d6fdfe9..2e57645 100644 --- a/.travis.yml +++ b/.travis.yml @@ -24,7 +24,7 @@ env: - PHP=7.2 enable_debug=yes enable_maintainer_zts=no - PHP=7.2 enable_debug=no enable_maintainer_zts=yes - PHP=7.2 enable_debug=yes enable_maintainer_zts=yes - - CFLAGS='-O0 -g --profile' CXXFLAGS='-O0 -g --profile' PHP=7.2 + - CFLAGS='-O0 -g --coverage' CXXFLAGS='-O0 -g --coverage' PHP=7.2 cache: directories: diff --git a/gen_travis_yml.php b/gen_travis_yml.php index 9d5ec84..61b7cf8 100755 --- a/gen_travis_yml.php +++ b/gen_travis_yml.php @@ -30,8 +30,8 @@ $env = $gen([ "enable_debug", "enable_maintainer_zts" ], [ - "CFLAGS" => "'-O0 -g --profile'", - "CXXFLAGS" => "'-O0 -g --profile'", + "CFLAGS" => "'-O0 -g --coverage'", + "CXXFLAGS" => "'-O0 -g --coverage'", "PHP" => $cur, ]); foreach ($env as $grp) {