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 0384389..6a0c2ee 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 77d3a0f..10e0216 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"