delete profile data before cache
authorMichael Wallner <mike@php.net>
Mon, 5 Mar 2018 15:52:52 +0000 (16:52 +0100)
committerMichael Wallner <mike@php.net>
Mon, 5 Mar 2018 15:52:52 +0000 (16:52 +0100)
.travis.yml
scripts/gen_travis_yml.php

index 03843895aadfa6c4072dc1e86142742e680691c8..6a0c2ee7d52475c8ffea2a352e68ba1325745bfd 100644 (file)
@@ -17,7 +17,10 @@ compiler:
 cache:
  directories:
   - $HOME/cache
+
+before_cache:
+ - find $HOME/cache -name '*.gcda' -o -name '*.gcno' -delete
+
 env:
  global:
   - PQ_DSN="postgres://postgres@localhost/test"
index 77d3a0f9e22fbd31956d63de15e6a4c6feff6979..10e021605018d6356d2f68228bdeaa055b267b6b 100755 (executable)
@@ -18,7 +18,10 @@ compiler:
 cache:
  directories:
   - $HOME/cache
+
+before_cache:
+ - find $HOME/cache -name '*.gcda' -o -name '*.gcno' -delete
+
 env:
  global:
   - PQ_DSN="postgres://postgres@localhost/test"