fix s/profile/coverage/
authorMichael Wallner <mike@php.net>
Tue, 6 Mar 2018 16:04:57 +0000 (17:04 +0100)
committerMichael Wallner <mike@php.net>
Tue, 6 Mar 2018 16:04:57 +0000 (17:04 +0100)
.travis.yml
gen_travis_yml.php

index d6fdfe9f1488f6f998287c1463eb8b31489ed9ab..2e57645900cb8a442026f65270977d43eb3e00b8 100644 (file)
@@ -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:
index 9d5ec840d18191a26d8a7fa990231d20a361bb2a..61b7cf86a397d283740d5919e0c026ae5f03b5ac 100755 (executable)
@@ -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) {