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

index 6ada283f1b022b68801ca66f49fe8deda5fdf16b..27f9454510a76984044c4b87ebd675c9751655ef 100644 (file)
@@ -24,7 +24,7 @@ env:
   - 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:
index fe02d8193c824c3125dbbebc959354c0dea3d242..f196b48a22d683294a5ac56d5ff09b614caa08e3 100755 (executable)
@@ -32,8 +32,8 @@ $env = $gen([
        "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"
 ]);